From fef7b2324253bfa9f090341afbd4fec63f55c81a Mon Sep 17 00:00:00 2001
From: Richard West <rwest@mit.edu>
Date: Wed, 8 Jun 2011 12:10:25 +0100
Subject: [PATCH] Makefile has list of .PHONY targets.

This means that if you have a file or folder with the same name as one of these,
the target is run even if the file/folder is up to date.
---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index 80407f5f10..e1783d7d5b 100644
--- a/Makefile
+++ b/Makefile
@@ -4,6 +4,8 @@
 #
 ################################################################################
 
+.PHONY : all minimal main measure solver clean
+
 all: main measure solver
 
 minimal: measure solver