diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 18:25:25 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 18:25:25 +0100 |
commit | 80078dcafb07578878a3d0ed2a52c08b4ee12e4a (patch) | |
tree | adea98568f191aada10b5483d90208d751a413ad | |
parent | bd432c88df63a21dfd3cfbf038f25781fa8b0ee5 (diff) | |
download | compcert-kvx-80078dcafb07578878a3d0ed2a52c08b4ee12e4a.tar.gz compcert-kvx-80078dcafb07578878a3d0ed2a52c08b4ee12e4a.zip |
remove host .s generation
-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 65759f1e..28bd5ae0 100644 --- a/test/monniaux/yarpgen/Makefile +++ b/test/monniaux/yarpgen/Makefile @@ -38,7 +38,7 @@ TESTS_GCC_TARGET_OUT=$(shell seq --format $(PREFIX)/example.gcc.target.out 1 $(M TESTS_GCC_HOST_OUT=$(shell seq --format $(PREFIX)/example.gcc.host.out 1 $(MAX)) TESTS_CMP=$(shell seq --format $(PREFIX)/example.target.cmp 1 $(MAX)) # $(shell seq --format $(PREFIX)/example.host_target.cmp 1 $(MAX)) -all: $(TESTS_CCOMP_TARGET_OUT) $(TESTS_GCC_TARGET_OUT) $(TESTS_GCC_HOST_OUT) $(TESTS_CCOMP_TARGET_S) $(TESTS_GCC_TARGET_S) $(TESTS_GCC_HOST_S) $(TESTS_CMP) $(TESTS_C) +all: $(TESTS_CCOMP_TARGET_OUT) $(TESTS_GCC_TARGET_OUT) $(TESTS_CCOMP_TARGET_S) $(TESTS_GCC_TARGET_S) $(TESTS_CMP) $(TESTS_C) tests_c: $(TESTS_C) |