diff options
| author | Erich Eckner <git@eckner.net> | 2016-12-07 10:07:22 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2016-12-07 10:08:58 +0100 |
| commit | bdcc41caa3be5d854b1225b3868e67716dbfeeb9 (patch) | |
| tree | 162f0b475c7bae08f3d955664e19195e227ccbba | |
| parent | 092b1c7183bdebe4c9f989f7defeb89e35e5a1fd (diff) | |
| download | crux-patches-bdcc41caa3be5d854b1225b3868e67716dbfeeb9.tar.xz | |
make patch process of ports more verbose
| -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 |