diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 17:01:49 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 17:01:49 +0100 |
| commit | 55b7716fa59b7b3c1b16f64b5b9debbd1736a974 (patch) | |
| tree | 84a453be945472d2c1e055b6b69575a99fbb3527 | |
| parent | d3fe2c1d8a05b5124395cca3de0cf91470424e55 (diff) | |
| download | compcert-kvx-55b7716fa59b7b3c1b16f64b5b9debbd1736a974.tar.gz compcert-kvx-55b7716fa59b7b3c1b16f64b5b9debbd1736a974.zip | |
fixup for arm
| -rw-r--r-- | test/monniaux/yarpgen/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/yarpgen/Makefile b/test/monniaux/yarpgen/Makefile index 339d6808..a9f62eb7 100644 --- a/test/monniaux/yarpgen/Makefile +++ b/test/monniaux/yarpgen/Makefile @@ -54,7 +54,7 @@ tests_s: $(TESTS_CCOMP_TARGET_S) $(CC) $(CFLAGS) -S -o $@ $< %.target.o : %.target.s - $(TARGET_CC) $(CFLAGS) -c -o $@ $< + $(TARGET_CC) -c -o $@ $< %.host.o : %.host.s $(CC) $(CFLAGS) -c -o $@ $< |