diff --git a/Builds/levelization/levelization.sh b/Builds/levelization/levelization.sh index f8f21bb9d2..3c43a23092 100755 --- a/Builds/levelization/levelization.sh +++ b/Builds/levelization/levelization.sh @@ -13,6 +13,9 @@ then git clean -ix fi +# Ensure all sorting is ASCII-order consistently across platforms. +export LANG=C + rm -rfv results mkdir results includes="$( pwd )/results/rawincludes.txt"