diff options
Diffstat (limited to 'test/Verifier/Makefile')
-rw-r--r-- | test/Verifier/Makefile | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/test/Verifier/Makefile b/test/Verifier/Makefile deleted file mode 100644 index 2812a7e..0000000 --- a/test/Verifier/Makefile +++ /dev/null @@ -1,19 +0,0 @@ -# test/Regression/Verifier/Makefile -# -# This directory contains regression tests for the LLVM verifier pass. Basically -# all of these LLVM source files are invalid programs that should be marked as -# such by the verifier - -LEVEL = ../../.. -include $(LEVEL)/test/Makefile.tests - -TESTS := $(wildcard *.ll) - -all:: $(addprefix Output/, $(TESTS:%.ll=%.ntbc)) - -Output/%.ntbc: %.ll $(LAS) Output/.dir - @echo "======== Verifying $< ===========" - if $(LAS) -f $< -o /dev/null; \ - then $(FAILURE) $@; exit 1; \ - else touch $@; exit 0;\ - fi |