Makefile: delete generated file on error
authorRalf Jung <post@ralfj.de>
Thu, 1 Jan 2015 13:23:18 +0000 (14:23 +0100)
committerRalf Jung <post@ralfj.de>
Thu, 1 Jan 2015 13:23:18 +0000 (14:23 +0100)
Makefile.sample

index 074133de05ed6dac9a43de4f7b654a120241b01e..c2d05c713c82d8f3c990cb4652702fe69f1b3094 100644 (file)
@@ -1,3 +1,4 @@
 db.example.com: db.example.com.py
 db.example.com: db.example.com.py
-       @sudo -u user ~user/zonemaker/zone-maker $< | tee $@
+       @sudo -u user ~user/zonemaker/zone-maker $< > $@ || rm -f $@
+       @cat $@
        @rndc reload example.com
        @rndc reload example.com