diff options
Diffstat (limited to 'utils/ABITest/Makefile.test.common')
| -rw-r--r-- | utils/ABITest/Makefile.test.common | 21 |
1 files changed, 20 insertions, 1 deletions
diff --git a/utils/ABITest/Makefile.test.common b/utils/ABITest/Makefile.test.common index b7d6b12707..0094a2cbe0 100644 --- a/utils/ABITest/Makefile.test.common +++ b/utils/ABITest/Makefile.test.common @@ -1,6 +1,25 @@ # -*- Makefile -*- -TESTARGS := --no-unsigned --no-vector --no-complex --no-bool --no-bit-field +# Usage: make test.N.report +# +# COUNT can be over-ridden to change the number of tests generated per +# file, and TESTARGS is used to change the type generation. Make sure +# to 'make clean' after changing either of these parameters. + +TESTARGS := --no-unsigned --no-vector --no-complex --no-bool + +COUNT := 1 +TIMEOUT := 5 + +CFLAGS := -std=gnu99 + +X_COMPILER := gcc +X_LL_CFLAGS := -emit-llvm -S +Y_COMPILER := clang +Y_LL_CFLAGS := -emit-llvm -S +CC := gcc + +### ABITESTGEN := ../ABITestGen.py |