changeset 1763 | bcd7574bc9c3 |
parent 1446 | 78d0fef31a4b |
child 1764 | a40a9f231aa0 |
--- a/.emacs-autogen.sh Sun Nov 27 21:17:26 2022 +0200 +++ b/.emacs-autogen.sh Sun Nov 27 23:40:10 2022 +0200 @@ -1,5 +1,7 @@ #!/usr/bin/env bash +set -x + if [ -z "$1" ]; then echo "Where config file?" exit 1 @@ -17,6 +19,10 @@ host_os=windows host_distro=cygwin ;; + MINGW64_NT-*) + host_os=windows + host_distro=mingw64 + ;; Linux) host_os=linux if [ -e /etc/debian_version ]; then