diff options
| -rw-r--r-- | core/ports/post_update_patches.patch.new | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/core/ports/post_update_patches.patch.new b/core/ports/post_update_patches.patch.new index a69b192..f39bf9b 100644 --- a/core/ports/post_update_patches.patch.new +++ b/core/ports/post_update_patches.patch.new @@ -1,6 +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,50 @@ +@@ -21,7 +21,52 @@ # VERSION="#VERSION#" @@ -34,9 +34,11 @@ + do + case $DATEI in + *.patch) ++ echo "$(pwd): patching '$DATEI' ..." + patch -p0 -i $DATEI + ;; + *.new) ++ echo "$(pwd): copying '$DATEI'" + cp $DATEI $(basename $DATEI .new) + md5sum $(basename $DATEI .new) >> .md5sum + ;; @@ -51,7 +53,7 @@ check_ports_dir() { if [ ! -d "$PORTS_DIR" ]; then -@@ -53,6 +96,7 @@ +@@ -53,6 +98,7 @@ file=/etc/ports/$collection.$suffix if [ -f $file ]; then $driver $file @@ -59,7 +61,7 @@ fi fi done -@@ -67,6 +111,7 @@ +@@ -67,6 +113,7 @@ suffix=`basename $driver` for file in /etc/ports/*.$suffix; do $driver $file |