diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-24 10:48:24 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-24 10:48:24 +0200 |
commit | b1ab210e798c911a5e4952ed244e581a18c86312 (patch) | |
tree | 23a310a068c9b61ad433aabfe581e555c2f21d92 /test/mppa/Makefile | |
parent | f73f3a4e5dda58408c82fe2657ddb251532ea894 (diff) | |
download | compcert-kvx-b1ab210e798c911a5e4952ed244e581a18c86312.tar.gz compcert-kvx-b1ab210e798c911a5e4952ed244e581a18c86312.zip |
MPPA - refined tests. Bug in mmult - need to generate O0 to debug easier
Diffstat (limited to 'test/mppa/Makefile')
-rw-r--r-- | test/mppa/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/mppa/Makefile b/test/mppa/Makefile index 3c1ab002..faeb7c62 100644 --- a/test/mppa/Makefile +++ b/test/mppa/Makefile @@ -34,13 +34,17 @@ $(DIR)/output/%.bin.exp: $(DIR)/%.c FORCE: .PHONY: -check: $(TOK) sort +check: $(TOK) sort mmult .PHONY: sort: FORCE (cd sort && make compc-check) .PHONY: +mmult: FORCE + (cd mmult && make compc-check) + +.PHONY: clean: rm -f $(DIR)/*.alloctrace rm -f $(DIR)/*.cm |