diff options
| author | Erich Eckner <git@eckner.net> | 2017-02-16 13:11:04 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-02-16 13:54:09 +0100 |
| commit | 0d63900f5be92ef0d1f0db103d612a41076095f5 (patch) | |
| tree | 9461de777ad8d5104d549fc312d982e45b1779d8 | |
| parent | 22174e028340e328a3ae7d8077b07f45f944751f (diff) | |
| download | crux-patches-0d63900f5be92ef0d1f0db103d612a41076095f5.tar.xz | |
core/ports: abort on error
| -rw-r--r-- | core/ports/post_update_patches.patch.new | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/core/ports/post_update_patches.patch.new b/core/ports/post_update_patches.patch.new index f39bf9b..85993b0 100644 --- a/core/ports/post_update_patches.patch.new +++ b/core/ports/post_update_patches.patch.new @@ -1,7 +1,6 @@ --- ports.in 2004-03-07 21:55:24.000000000 +0100 +++ ports.in 2016-04-27 22:41:06.030194539 +0200 -@@ -21,7 +21,52 @@ - # +@@ -22,6 +22,51 @@ VERSION="#VERSION#" PORTS_DIR="/usr/ports" @@ -35,7 +34,7 @@ + case $DATEI in + *.patch) + echo "$(pwd): patching '$DATEI' ..." -+ patch -p0 -i $DATEI ++ patch -p0 -i $DATEI || exit $? + ;; + *.new) + echo "$(pwd): copying '$DATEI'" |