merged
authorOleksandr Gavenko <gavenkoa@gmail.com>
Wed, 28 Nov 2012 17:57:15 +0200
changeset 602 a930cfd5a0e6
parent 599 85b103366b02 (diff)
parent 601 624d147ef0c1 (current diff)
child 603 8b265a082784
merged
Makefile
--- a/Makefile	Mon Nov 26 13:18:06 2012 +0200
+++ b/Makefile	Wed Nov 28 17:57:15 2012 +0200
@@ -1,3 +1,7 @@
+
+################################################################
+# Standard GNU Makefile settings.
+
 SHELL = /bin/sh -eu
 export PATH := /bin:/usr/bin:${PATH}
 
@@ -7,6 +11,8 @@
 MAKEFLAGS += -R
 # Disable built in suffix rules.
 .SUFFIXES:
+# Delete target file if command fails.
+.DELETE_ON_ERROR:
 # Default target.
 .DEFAULT_GOAL = help