[Armadeus-commitlog] armadeus branch, master, updated. armadeus-5.2-413-ga129f97

[Julien B a. A. <ar...@us...>]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "armadeus".

The branch, master has been updated
       via  a129f97527881c7930b5ee05795118c30c4b75d8 (commit)
      from  c9c6a5994c04428532e93e64ff8d618ae4e278c9 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit a129f97527881c7930b5ee05795118c30c4b75d8
Author: Julien Boibessot <jul...@ar...>
Date:   Tue Aug 27 08:49:48 2013 +0200

    [TOOLS] Allow to export linux config to a given filename

-----------------------------------------------------------------------

Summary of changes:
 scripts/export_linux_config.sh |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)

diff --git a/scripts/export_linux_config.sh b/scripts/export_linux_config.sh
index 20fd347..62931a2 100755
--- a/scripts/export_linux_config.sh
+++ b/scripts/export_linux_config.sh
@@ -17,6 +17,12 @@ if [ $? != 0 ]; then
 fi
 cd -
 
+if [ "$1" != "" ]; then
+	cp $ARMADEUS_LINUX_DIR/defconfig $1
+	echo "Config copied in $1"
+	exit 0
+fi
+
 echo "Please enter your favorite merge tool (ex: kompare, vimdiff, etc...)"
 read -p "> " DIFFTOOL
 


hooks/post-receive
-- 
armadeus