Makefile
changeset 1002 73a5303842e3
parent 908 e3b3e9f4d759
child 1008 ff0b8955a3c0
--- a/Makefile	Thu Nov 22 21:18:54 2012 +0200
+++ b/Makefile	Mon Nov 26 23:32:33 2012 +0200
@@ -2,6 +2,10 @@
 #
 # You can do anything with this file without any warranty.
 
+
+################################################################
+# Standard Makefile settings.
+
 SHELL = /bin/sh
 export PATH := /bin:/usr/bin:${PATH}
 
@@ -11,6 +15,8 @@
 MAKEFLAGS += -R
 # Disable built in suffix rules.
 .SUFFIXES:
+# Delete target file if command fails.
+.DELETE_ON_ERROR:
 # Default target.
 .DEFAULT_GOAL = all