From 3b06af297781f6614a08cf50087990b4cbaee308 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Wed, 29 Oct 2014 14:22:03 +0100
Subject: [PATCH] Removed unused variable in Makefile

---
 Makefile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Makefile b/Makefile
index 75c52a2d..3b3b63d0 100644
--- a/Makefile
+++ b/Makefile
@@ -9,7 +9,6 @@ DOC=lib.docdir/index.html
 NAME=msat
 
 LIB=$(addprefix $(NAME), .cma .cmxa .cmxs)
-GENERATED=$(MAIN) $(BIN) gmon.out
 
 all:$(LIB)
 
@@ -21,7 +20,6 @@ doc:
 
 clean:
 	$(COMP) -clean
-	rm -f $(GENERATED)
 
 TO_INSTALL=META $(addprefix _build/,$(LIB))