aboutsummaryrefslogtreecommitdiffstats
path: root/test/c/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'test/c/Makefile')
-rw-r--r--test/c/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/c/Makefile b/test/c/Makefile
index 5979dfd4..94feb993 100644
--- a/test/c/Makefile
+++ b/test/c/Makefile
@@ -32,7 +32,7 @@ all_gcc: $(PROGS:%=%.gcc)
test:
@for i in $(PROGS); do \
- if ./$$i.compcert | cmp -s - Results/$$i; \
+ if $(SIMU) ./$$i.compcert | cmp -s - Results/$$i; \
then echo "$$i: passed"; \
else echo "$$i: FAILED"; exit 2; \
fi; \