# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1353966005 -7200
# Node ID 85b103366b02b434dba2b415486b995a3c06d54a
# Parent  76730a624b4b55dfcc2716dd0f630793688f3a38
Delete target file if command fails.

diff -r 76730a624b4b -r 85b103366b02 Makefile
--- a/Makefile	Thu Nov 22 21:29:26 2012 +0200
+++ b/Makefile	Mon Nov 26 23:40:05 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