summaryrefslogtreecommitdiff
path: root/core/ports
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-02-16 13:11:04 +0100
committerErich Eckner <git@eckner.net>2017-02-16 13:54:09 +0100
commit0d63900f5be92ef0d1f0db103d612a41076095f5 (patch)
tree9461de777ad8d5104d549fc312d982e45b1779d8 /core/ports
parent22174e028340e328a3ae7d8077b07f45f944751f (diff)
downloadcrux-patches-0d63900f5be92ef0d1f0db103d612a41076095f5.tar.xz
core/ports: abort on error
Diffstat (limited to 'core/ports')
-rw-r--r--core/ports/post_update_patches.patch.new5
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'"