From 5fbc0af7e902bacafb5c77a0f523eb4b36198dea Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Mon, 11 Sep 2017 16:11:39 +0200 Subject: test/*/Makefile: suppress dependencies on ../../ccomp Not very useful in practice (make clean is generally done before make all) and problematic under Cygwin where ../../ccomp is really ../../ccomp.exe --- test/c/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'test/c') diff --git a/test/c/Makefile b/test/c/Makefile index 94feb993..51a8f105 100644 --- a/test/c/Makefile +++ b/test/c/Makefile @@ -21,10 +21,10 @@ all_s: $(PROGS:%=%.s) all_gcc: $(PROGS:%=%.gcc) -%.compcert: %.c $(CCOMP) +%.compcert: %.c $(CCOMP) $(CCOMPFLAGS) -o $*.compcert $*.c $(LIBS) -%.s: %.c $(CCOMP) +%.s: %.c $(CCOMP) $(CCOMPFLAGS) -S $*.c %.gcc: %.c -- cgit