From 265fdd4f703b0310fbcf5ad448c29dc34f7ff33a Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Tue, 26 Jun 2018 16:24:34 +0200
Subject: Fixed CompCert library inclusion. Indirect fix for udivd and umodd

---
 test/mppa/Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'test/mppa')

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)
-- 
cgit