diff options
| author | Alige <gauvain.dauchy@free.fr> | 2016-07-18 12:37:20 +0200 |
|---|---|---|
| committer | Alige <gauvain.dauchy@free.fr> | 2016-07-18 12:37:55 +0200 |
| commit | e2fbf0464e0606e66ce34eeab5176fd1a2aa87c0 (patch) | |
| tree | 54ede46536dfdd8db7c1b33b33c917380bf5782d /.tools | |
| parent | 88653a60b96f738491624e4e3e0a349c918b7d4b (diff) | |
| download | serverdata-e2fbf0464e0606e66ce34eeab5176fd1a2aa87c0.tar.gz serverdata-e2fbf0464e0606e66ce34eeab5176fd1a2aa87c0.tar.bz2 serverdata-e2fbf0464e0606e66ce34eeab5176fd1a2aa87c0.tar.xz serverdata-e2fbf0464e0606e66ce34eeab5176fd1a2aa87c0.zip | |
Update map cache and reverted the (bad) change I did in init.sh file because didn't rebase.
Diffstat (limited to '.tools')
| -rwxr-xr-x | .tools/scripts/init.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.tools/scripts/init.sh b/.tools/scripts/init.sh index 7aa176e2..05dca3a8 100755 --- a/.tools/scripts/init.sh +++ b/.tools/scripts/init.sh @@ -114,7 +114,7 @@ function make_server { echo "autoreconf -i" autoreconf -i check_error $? - echo "./configure $1" + echo "./configure $*" ./configure $1 export err="$?" if [ "$err" != 0 ]; then |