diff options
| author | Erich Eckner <git@eckner.net> | 2020-03-03 12:02:48 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-03-03 12:02:48 +0100 |
| commit | 2179dec14c9dac38b2d4d661562a0b4438a430ff (patch) | |
| tree | aa80cd76a19b74c9eea543581e2ea6a35cc1f2ed | |
| parent | d81513b2261be1fdb19a3fa1a92c80686337e165 (diff) | |
| download | Rechner-2179dec14c9dac38b2d4d661562a0b4438a430ff.tar.xz | |
Makefile: failing pkill is not an error
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,5 +1,5 @@ all: graph.png - pkill -SIGUSR1 -f 'feh (.* )*graph\.png( .*)*' + pkill -SIGUSR1 -f 'feh (.* )*graph\.png( .*)*' || true %.in: %.dot sed "$(shell sed 's/^#DEFINE \(\S\+\) \(.*\)$$/s@\1@\2@g/; t; d' "$<")" "$<" > "$@" |