diff options
Diffstat (limited to 'shared.mak')
| -rw-r--r-- | shared.mak | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/shared.mak b/shared.mak new file mode 100644 index 0000000000..0170bb397a --- /dev/null +++ b/shared.mak @@ -0,0 +1,9 @@ +### Flags affecting all rules + +# A GNU make extension since gmake 3.72 (released in late 1994) to +# remove the target of rules if commands in those rules fail. The +# default is to only do that if make itself receives a signal. Affects +# all targets, see: +# +# info make --index-search=.DELETE_ON_ERROR +.DELETE_ON_ERROR: |