From 2179dec14c9dac38b2d4d661562a0b4438a430ff Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Tue, 3 Mar 2020 12:02:48 +0100 Subject: Makefile: failing pkill is not an error --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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' "$<")" "$<" > "$@" -- cgit v1.2.3-54-g00ecf