diff options
-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'" |