diff options
| -rwxr-xr-x | .tools/scripts/init.sh | 2 | ||||
| -rw-r--r-- | db/re/map_cache.dat | bin | 10180 -> 10179 bytes |
2 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 diff --git a/db/re/map_cache.dat b/db/re/map_cache.dat Binary files differindex 3b9e8e15..78d92630 100644 --- a/db/re/map_cache.dat +++ b/db/re/map_cache.dat |