gnulib: update

This commit is contained in:
Akim Demaille
2019-05-19 19:58:29 +02:00
parent 0428c429a1
commit 7ab275214b
4 changed files with 9 additions and 4 deletions

View File

@@ -309,7 +309,7 @@ re-run the tests, run:
./gnulib-tool --symlink --create-test --dir=/tmp/gnutest bitset-tests
cd /tmp/gnutest
./configure CC='gcc-mp-8 -fsanitize=undefined'
./configure -C CC='gcc-mp-8 -fsanitize=undefined' CFLAGS='-ggdb'
make check
* Release Procedure