changeset 44:e7fc05196363

Delete target file if command fails.
author Oleksandr Gavenko <gavenkoa@gmail.com>
date Mon, 26 Nov 2012 23:41:06 +0200
parents 0305de638f1a
children 13e6bcf80d58
files Makefile
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile	Mon Nov 19 00:24:05 2012 +0200
+++ b/Makefile	Mon Nov 26 23:41:06 2012 +0200
@@ -1,3 +1,7 @@
+
+################################################################
+# Standard GNU Makefile settings.
+
 SHELL = /bin/sh
 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 = all