diff options
author | Erich Eckner <git@eckner.net> | 2019-06-25 08:38:04 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-07-29 06:41:40 +0200 |
commit | 46211a9a4d66e22f6d210b83b22ca7d9657005c2 (patch) | |
tree | b6a9138fafd98641befb757266445642fb5ff3ae /Konzerte | |
parent | 5606bee9bb8d958a2cc1eed1bb99eaedc0accdb4 (diff) | |
download | Musik-46211a9a4d66e22f6d210b83b22ca7d9657005c2.tar.xz |
ignore errors of pkill in Makefiles
Diffstat (limited to 'Konzerte')
-rw-r--r-- | Konzerte/2018_05_26/Makefile | 2 | ||||
-rw-r--r-- | Konzerte/2018_12_08/Makefile | 2 | ||||
-rw-r--r-- | Konzerte/2019_05_18/Makefile | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/Konzerte/2018_05_26/Makefile b/Konzerte/2018_05_26/Makefile index cd1c08b..acbd481 100644 --- a/Konzerte/2018_05_26/Makefile +++ b/Konzerte/2018_05_26/Makefile @@ -8,7 +8,7 @@ else endif all: alles.pdf - pkill -SIGHUP -xf 'mupdf(-x11)? (.*/)?$<' + pkill -SIGHUP -xf 'mupdf(-x11)? (.*/)?$<' || true clean: rm -f *.pre diff --git a/Konzerte/2018_12_08/Makefile b/Konzerte/2018_12_08/Makefile index 0506bf2..bad28d6 100644 --- a/Konzerte/2018_12_08/Makefile +++ b/Konzerte/2018_12_08/Makefile @@ -8,7 +8,7 @@ else endif all: alles.pdf - pkill -SIGHUP -xf 'mupdf(-x11)? (.*/)?$<' + pkill -SIGHUP -xf 'mupdf(-x11)? (.*/)?$<' || true clean: rm -f *.pre diff --git a/Konzerte/2019_05_18/Makefile b/Konzerte/2019_05_18/Makefile index e2b53e0..2a6a9f6 100644 --- a/Konzerte/2019_05_18/Makefile +++ b/Konzerte/2019_05_18/Makefile @@ -8,7 +8,7 @@ else endif all: alles.pdf - pkill -SIGHUP mupdf + pkill -SIGHUP -xf 'mupdf(-x11)? (.*/)?$<' || true clean: rm -f *.pre |