diff options
| -rwxr-xr-x | build/bmakedebug | 3 | ||||
| -rwxr-xr-x | build/bmaketest | 3 |
2 files changed, 2 insertions, 4 deletions
diff --git a/build/bmakedebug b/build/bmakedebug index 237f37134..3f5dd3eee 100755 --- a/build/bmakedebug +++ b/build/bmakedebug @@ -62,8 +62,7 @@ autoreconf -i --enable-memdebug=no \ --enable-tcmalloc=no \ --enable-googleprofiler=no \ ---enable-checks=yes \ ---enable-libxml=pugixml +--enable-checks=yes cd po make -j8 update-gmo 2>../build/make1.log diff --git a/build/bmaketest b/build/bmaketest index 32fed6192..5cbee0a33 100755 --- a/build/bmaketest +++ b/build/bmaketest @@ -44,8 +44,7 @@ autoreconf -i --datadir=$dir/run/share/games \ --bindir=$dir/run/bin \ --mandir=$dir/run/share/man \ ---enable-unittests \ ---enable-libxml=pugixml +--enable-unittests cd po make -j8 update-gmo 2>../build/make1.log |