diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-05 13:05:09 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-05 13:05:09 +0200 |
| commit | 78570f3b622210edfdd87370df0ce88dc704d8c3 (patch) | |
| tree | 7ef4a279b852f06e59363e6a4f10e3bd263f42f7 /test/monniaux/pcre2-10.32 | |
| parent | 72288298ea871d30db6693a65fe0ac2236a045c1 (diff) | |
| download | compcert-kvx-78570f3b622210edfdd87370df0ce88dc704d8c3.tar.gz compcert-kvx-78570f3b622210edfdd87370df0ce88dc704d8c3.zip | |
fix Makefile
Diffstat (limited to 'test/monniaux/pcre2-10.32')
| -rw-r--r-- | test/monniaux/pcre2-10.32/Makefile | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/test/monniaux/pcre2-10.32/Makefile b/test/monniaux/pcre2-10.32/Makefile index 35f1e049..4a5a2ded 100644 --- a/test/monniaux/pcre2-10.32/Makefile +++ b/test/monniaux/pcre2-10.32/Makefile @@ -48,14 +48,14 @@ include ../rules.mk $(K1C_GCC_SFILES) $(K1C_CCOMP_SFILES): $(HFILES) -pcre2test.gcc.k1c: $(K1C_GCC_OFILES) - $(K1C_CC) $(K1C_CFLAGS) -o $@ $+ ../clock.gcc.k1c.o +pcre2test.gcc.k1c: $(K1C_GCC_OFILES) ../clock.gcc.k1c.o + $(K1C_CC) $(K1C_CFLAGS) -o $@ $+ -pcre2test.gcc.o1.k1c: $(K1C_GCC_OFILES_O1) - $(K1C_CC) $(K1C_CFLAGS_O1) -o $@ $+ ../clock.gcc.k1c.o +pcre2test.gcc.o1.k1c: $(K1C_GCC_OFILES_O1) ../clock.gcc.k1c.o + $(K1C_CC) $(K1C_CFLAGS_O1) -o $@ $+ -pcre2test.ccomp.k1c: $(K1C_CCOMP_OFILES) - $(K1C_CCOMP) $(K1C_CCOMPFLAGS) -o $@ $+ ../clock.gcc.k1c.o +pcre2test.ccomp.k1c: $(K1C_CCOMP_OFILES) ../clock.gcc.k1c.o + $(K1C_CCOMP) $(K1C_CCOMPFLAGS) -o $@ $+ .PHONY: clean |