diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-06-26 16:24:34 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-06-26 16:24:34 +0200 |
commit | 265fdd4f703b0310fbcf5ad448c29dc34f7ff33a (patch) | |
tree | 4b7dc97609bc60e463503e04748e01dd60c44029 /test/mppa | |
parent | 408ae8c4451b49277e8b97bbb7cedd2fb905bcdb (diff) | |
download | compcert-kvx-265fdd4f703b0310fbcf5ad448c29dc34f7ff33a.tar.gz compcert-kvx-265fdd4f703b0310fbcf5ad448c29dc34f7ff33a.zip |
Fixed CompCert library inclusion. Indirect fix for udivd and umodd
Diffstat (limited to 'test/mppa')
-rw-r--r-- | test/mppa/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/test/mppa/Makefile b/test/mppa/Makefile index fddaad37..5b312475 100644 --- a/test/mppa/Makefile +++ b/test/mppa/Makefile @@ -35,8 +35,7 @@ $(DIR)/output/%.bin.exp: $(DIR)/%.c FORCE: .PHONY: check -check: $(TOK) -#check: $(TOK) sort mmult +check: $(TOK) sort mmult .PHONY: coverage coverage: $(ASM) |