From 22c25e945e4c6e36772776290383c351a94c5a92 Mon Sep 17 00:00:00 2001 From: Denis Buzdalov Date: Mon, 1 Jul 2024 19:21:55 +0300 Subject: [PATCH] [ fix #3339 ] Set the global test locale --- tests/testutils.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tests/testutils.sh b/tests/testutils.sh index 01fe932d5..aecef53b9 100755 --- 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 +export LC_ALL=C.UTF-8 + # Remove test directory from output # Useful for consistency of output between machines # Usage: run SomeTest.idr | filter_test_dir