summaryrefslogtreecommitdiff
path: root/core/ports
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2016-12-07 10:07:22 +0100
committerErich Eckner <git@eckner.net>2016-12-07 10:08:58 +0100
commitbdcc41caa3be5d854b1225b3868e67716dbfeeb9 (patch)
tree162f0b475c7bae08f3d955664e19195e227ccbba /core/ports
parent092b1c7183bdebe4c9f989f7defeb89e35e5a1fd (diff)
downloadcrux-patches-bdcc41caa3be5d854b1225b3868e67716dbfeeb9.tar.xz
make patch process of ports more verbose
Diffstat (limited to 'core/ports')
-rw-r--r--core/ports/post_update_patches.patch.new8
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