From 01828887dda772aca9e8bbddb3325cc939729ed4 Mon Sep 17 00:00:00 2001
From: Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr>
Date: Fri, 11 Jan 2019 16:52:07 +0100
Subject: quick and dirty Makefile fixes

---
 mppa_k1c/unittest/Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'mppa_k1c')

diff --git a/mppa_k1c/unittest/Makefile b/mppa_k1c/unittest/Makefile
index fc7a51ac..5e79efe4 100644
--- a/mppa_k1c/unittest/Makefile
+++ b/mppa_k1c/unittest/Makefile
@@ -7,6 +7,7 @@ TEST_CMX=mppa_k1c/unittest/postpass_test.cmx
 
 UNITTEST_OBJS:=$(shell $(MODORDER) $(TEST_CMX))
 
-postpass_test: $(TEST_CMX) $(UNITTEST_OBJS)
-	@echo "Linking $@"
+postpass_test: $(UNITTEST_OBJS)
+	@echo "Linking $@ $(UNITTEST_OBJS)"
 	@$(OCAMLOPT) -o $@ $(LIBS) $(LINK_OPT) $+
+
-- 
cgit