diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-12 12:13:18 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-12 12:13:18 +0200 |
| commit | 4f6fd68084b4d3a7544e166b2c24524464efb626 (patch) | |
| tree | 179dd01f77806d53fc27671d53df6ac00e674cc6 /test/monniaux/sandbox | |
| parent | c64ea8db135af2d541d56f6bd1ebb689e7915589 (diff) | |
| download | compcert-kvx-4f6fd68084b4d3a7544e166b2c24524464efb626.tar.gz compcert-kvx-4f6fd68084b4d3a7544e166b2c24524464efb626.zip | |
(#143) intermediate files are not deleted
Diffstat (limited to 'test/monniaux/sandbox')
| -rw-r--r-- | test/monniaux/sandbox/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/monniaux/sandbox/Makefile b/test/monniaux/sandbox/Makefile index 11a179fc..f753b87c 100644 --- a/test/monniaux/sandbox/Makefile +++ b/test/monniaux/sandbox/Makefile @@ -62,9 +62,11 @@ firstrule: all # $3: extension prefix define gen_rules +.SECONDARY: %$(3).s: %.c $(1) $(2) -S $$< -o $$@ +.SECONDARY: $(TARGET)$(3).bin: $(ALL_CFILES:.c=$(3).o) $(CLOCK) $(K1C_CC) $$+ -lm -o $$@ |