summaryrefslogtreecommitdiff
path: root/core
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-03-07 11:26:33 +0100
committerErich Eckner <git@eckner.net>2017-03-07 11:26:33 +0100
commit72da40174324a7b3b7e96030bf4691da4c73e129 (patch)
treeb83b46e3e9fb4241f7eb974c5dbe0187c9c8468b /core
parent19c08fe50933f7fb43b9112f950fecc84df19c4b (diff)
downloadcrux-patches-72da40174324a7b3b7e96030bf4691da4c73e129.tar.xz
sort output of find for patching to be predictable
Diffstat (limited to 'core')
-rw-r--r--core/ports/post_update_patches.patch.new2
1 files changed, 1 insertions, 1 deletions
diff --git a/core/ports/post_update_patches.patch.new b/core/ports/post_update_patches.patch.new
index 6dffe31..a9a26df 100644
--- a/core/ports/post_update_patches.patch.new
+++ b/core/ports/post_update_patches.patch.new
@@ -30,7 +30,7 @@
+ [ -d $PORTS_DIR${PATCH_PORT#$PATCHES_DIR} ] || continue
+ cd $PORTS_DIR${PATCH_PORT#$PATCHES_DIR}
+ pkgmk -do -cs || exit $?
-+ for DATEI in $(find $PATCH_PORT \( -name ".*" -prune -false \) -o \( -type f -not -name ".*" \) ); do
++ for DATEI in $(find $PATCH_PORT \( -name ".*" -prune -false \) -o \( -type f -not -name ".*" \) | sort ); do
+ case $DATEI in
+ *.patch)
+ echo "$(pwd): patching '$DATEI' ..."