Makefile has list of .PHONY targets.

rwest · rwest · commit fef7b2324253 · 2011-06-08T12:10:25.000+01:00
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.
diff --git a/Makefile b/Makefile
@@ -4,6 +4,8 @@
 #
 ################################################################################
 
+.PHONY : all minimal main measure solver clean
+
 all: main measure solver
 
 minimal: measure solver

Original file line number	Diff line number	Diff line change
`@@ -4,6 +4,8 @@`
`4`	`4`	`#`
`5`	`5`	`################################################################################`
`6`	`6`
	`7`	`+.PHONY : all minimal main measure solver clean`
	`8`	`+`
`7`	`9`	`all: main measure solver`
`8`	`10`
`9`	`11`	`minimal: measure solver`