Fix stupid Github CI

Stupid Github CI make doesn't take environment variables into account.
We have to override them explicitly, hence the ridiculous CC="$CC".

diff --git a/tests/test.sh b/tests/test.sh
index c9972f217d3f105b40f14e70dcb968a4b5240da8..81298237d3e0b017c422ff2e7936866a8b3ee336 100755 (executable)
--- a/tests/test.sh
+++ b/tests/test.sh
@@ -58,10 +58,10 @@ CFLAGS="-pedantic -Wall -Wextra -g -O2"
 
 make clean;  make tis-ci
 make clean;  make test
-make clean;  make test CFLAGS="$CFLAGS -DBLAKE2_NO_UNROLLING"
-make clean;  make test CFLAGS="$CFLAGS -fsanitize=address"
-make clean;  make test CFLAGS="$CFLAGS -fsanitize=memory"
-make clean;  make test CFLAGS="$CFLAGS -fsanitize=undefined"
+make clean;  make test CC="$CC" CFLAGS="$CFLAGS -DBLAKE2_NO_UNROLLING"
+make clean;  make test CC="$CC" CFLAGS="$CFLAGS -fsanitize=address"
+make clean;  make test CC="$CC" CFLAGS="$CFLAGS -fsanitize=memory"
+make clean;  make test CC="$CC" CFLAGS="$CFLAGS -fsanitize=undefined"
 make clean;  make test.out CC="gcc -std=c99";  valgrind ./test.out
 
 echo