diff options
Diffstat (limited to '.tools/scripts/init.sh')
| -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 05dca3a8..7aa176e2 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 $*" + echo "./configure $1" ./configure $1 export err="$?" if [ "$err" != 0 ]; then |