From 50b62b480238e2a8deb2dcce984ade83ac072453 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 18 Nov 2014 17:53:45 +0100
Subject: [PATCH] fix redundancies in Makefile

---
 Makefile | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/Makefile b/Makefile
index 61a1a203..545fab2a 100644
--- a/Makefile
+++ b/Makefile
@@ -11,19 +11,17 @@ NAME=msat
 
 LIB=$(addprefix $(NAME), .cma .cmxa .cmxs)
 
-all:$(LIB) $(TEST)
+all: lib test
 
-$(LIB):
+lib:
 	$(COMP) $(FLAGS) $(DIRS) $(LIB)
 
 doc:
 	$(COMP) $(FLAGS) $(DIRS) $(DOC)
 
-test: $(TEST)
-	./tests/run
-
-$(TEST): $(LIB)
+test:
 	$(COMP) $(FLAGS) $(DIRS) $(TEST)
+	./tests/run
 
 bench: $(TEST)
 	cd bench && $(MAKE)