summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-03-03 12:02:48 +0100
committerErich Eckner <git@eckner.net>2020-03-03 12:02:48 +0100
commit2179dec14c9dac38b2d4d661562a0b4438a430ff (patch)
treeaa80cd76a19b74c9eea543581e2ea6a35cc1f2ed /Makefile
parentd81513b2261be1fdb19a3fa1a92c80686337e165 (diff)
downloadRechner-2179dec14c9dac38b2d4d661562a0b4438a430ff.tar.xz
Makefile: failing pkill is not an error
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 4eb1d86..ffdc43c 100644
--- a/Makefile
+++ b/Makefile
@@ -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' "$<")" "$<" > "$@"