diff --git a/example/Makefile b/example/Makefile index 86aab694..d5d0d54a 100644 --- a/example/Makefile +++ b/example/Makefile @@ -12,6 +12,7 @@ RM=rm -f all: config $(MAKE) `ls ex-*.c|sed -e 's/\.c/\.exe/g'` + $(MAKE) `ls ex11-*.c|sed -e 's/\.c/\.exe/g'` CC="cc -std=c11" config: printf "#include \nint main(void){mpz_t z; mpz_init(z); return 0;}\n" > config-test.c