diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-09-11 16:11:39 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-09-11 16:11:39 +0200 |
| commit | 5fbc0af7e902bacafb5c77a0f523eb4b36198dea (patch) | |
| tree | 9b860306d463b0f46d2fa1d009bc8550ffee2e5b /test/c | |
| parent | 0df003671aa3c607977272571d89a4f6bad1c1e9 (diff) | |
| download | compcert-kvx-5fbc0af7e902bacafb5c77a0f523eb4b36198dea.tar.gz compcert-kvx-5fbc0af7e902bacafb5c77a0f523eb4b36198dea.zip | |
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
Diffstat (limited to 'test/c')
| -rw-r--r-- | test/c/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
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 |