1--- cf/sh/makeinfo.sh.orig	2024-01-31 06:38:32 UTC
2+++ cf/sh/makeinfo.sh
3@@ -52,7 +52,7 @@ then
4 else
5 	host=`uname -n`
6 fi
7-echo '#####' built by $user@$host on `date`
8+echo '#####' built by $user@$host on `LC_TIME=C date`
9 echo '#####' in `pwd` | sed 's/\/tmp_mnt//'
10 echo '#####' using $1 as configuration include directory | sed 's/\/tmp_mnt//'
11 echo "define(\`__HOST__', \`$host')dnl"
12