diff --git a/content/demo/dune-gen.sh b/content/demo/dune-gen.sh index 9d11e2e..a9ef8fa 100755 --- a/content/demo/dune-gen.sh +++ b/content/demo/dune-gen.sh @@ -21,13 +21,13 @@ usage() { 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