From e2fbf0464e0606e66ce34eeab5176fd1a2aa87c0 Mon Sep 17 00:00:00 2001 From: Alige Date: Mon, 18 Jul 2016 12:37:20 +0200 Subject: Update map cache and reverted the (bad) change I did in init.sh file because didn't rebase. --- .tools/scripts/init.sh | 2 +- db/re/map_cache.dat | Bin 10180 -> 10179 bytes 2 files changed, 1 insertion(+), 1 deletion(-) 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 index 3b9e8e15..78d92630 100644 Binary files a/db/re/map_cache.dat and b/db/re/map_cache.dat differ -- cgit v1.2.3-70-g09d2