diff options
| -rw-r--r-- | test/Jello/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/test/Jello/Makefile b/test/Jello/Makefile index de01a982fb..bb7c8ec53c 100644 --- a/test/Jello/Makefile +++ b/test/Jello/Makefile @@ -10,9 +10,15 @@ FTESTS := $(wildcard *.llx) # Freeform tests all:: $(addprefix Output/, $(TESTS:%.ll=%.out)) +LLI_FLAGS = -force-interpreter=false + +ifdef DISABLE_FP_ELIM +LLI_FLAGS += -no-fp-elim +endif + Output/%.out: Output/%.bc $(LLI) @echo "======== Running $< ===================" - $(VERB) $(LLI) -force-interpreter=false -stats $< > $@ 2>&1 || \ + $(VERB) $(LLI) $(LLI_FLAGS) -stats $< > $@ 2>&1 || \ ( cat $@; rm -f $@; $(FAILURE) $@ ) |