[ fix idris-lang#3339 ] Set the global test locale

buzden · Jul 1, 2024 · 32130ac · 32130ac
1 parent 57f455d
commit 32130ac
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/tests/testutils.sh b/tests/testutils.sh
@@ -109,6 +109,9 @@ if [ -z "$PREFIX_CHANGED" ] && [ -n "$IDRIS2_PREFIX" ]; then
     export PREFIX_CHANGED=1
 fi
 
+# Set the most neutral locale for reproducibility
+LC_ALL=C.UTF-8
+
 # Remove test directory from output
 # Useful for consistency of output between machines
 # Usage: run SomeTest.idr | filter_test_dir