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)
commita40b6b5bb7e6cf04a7dbbc7806cb57da310c9d41
treefbd8fe001d8cbf5ba0799a4059e4db3c97d42bb9
parentcb274ac18d094a7f862335464b29d8816f26eeef
Makefile: delete generated file on error
Makefile.sample