From 523e2e7284a95c7e21a65811cb021dba4d36310a Mon Sep 17 00:00:00 2001
From: "Paolo G. Giarrusso" <paolo@skylabs-ai.com>
Date: Mon, 15 Dec 2025 17:16:37 +0100
Subject: [PATCH 1/2] dune.inc: pick consistent sort ordering and locale

---
 content/demo/dune-gen.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/content/demo/dune-gen.sh b/content/demo/dune-gen.sh
index 9d11e2e..aad22cf 100755
--- a/content/demo/dune-gen.sh
+++ b/content/demo/dune-gen.sh
@@ -18,6 +18,8 @@ usage() {
 
 [ $# = 0 ] || usage
 
+export LC_ALL=C # Ensure `sort` picks a consistent order
+
 echo "; DO NOT EDIT: Generated by \"$0${1+ $*}\""
 
 find . -name '*.[ch]' |

From 74707e91e04dbeaadd53bb13f7854349138f232e Mon Sep 17 00:00:00 2001
From: "Paolo G. Giarrusso" <paolo@skylabs-ai.com>
Date: Mon, 15 Dec 2025 17:18:21 +0100
Subject: [PATCH 2/2] dune.inc: restrict uniform locale to sort

---
 content/demo/dune-gen.sh | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/content/demo/dune-gen.sh b/content/demo/dune-gen.sh
index aad22cf..a9ef8fa 100755
--- a/content/demo/dune-gen.sh
+++ b/content/demo/dune-gen.sh
@@ -18,18 +18,16 @@ usage() {
 
 [ $# = 0 ] || usage
 
-export LC_ALL=C # Ensure `sort` picks a consistent order
-
 echo "; DO NOT EDIT: Generated by \"$0${1+ $*}\""
 
 find . -name '*.[ch]' |
-sort |
+LC_ALL=C sort |
 while read i; do
   ./cpp2v-dune-gen.sh -- $i -- -std=c99
 done
 
 find . -name '*.[ch]pp' |
-sort |
+LC_ALL=C sort |
 while read i; do
   ./cpp2v-dune-gen.sh -s -- $i -- -std=c++23 -stdlib=libc++ -fno-builtin-std-forward
 done