diff options
| -rwxr-xr-x | dmake/configure | 4 | ||||
| -rwxr-xr-x | dmake/configure.in | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/dmake/configure b/dmake/configure index bf2f15c791d1..158ae12b8f7f 100755 --- a/dmake/configure +++ b/dmake/configure @@ -4149,7 +4149,9 @@ case "$_os" in ;; "Darwin") OS_VERSION=macosx - CASE_INSENSITIVE_FS=true + rm -f Empty empty + touch Empty && [ -f empty ] && CASE_INSENSITIVE_FS=true + rm -f Empty empty ;; "FreeBSD") OS_VERSION=linux diff --git a/dmake/configure.in b/dmake/configure.in index 79c3b12fb499..4194965c6671 100755 --- a/dmake/configure.in +++ b/dmake/configure.in @@ -86,7 +86,9 @@ case "$_os" in ;; "Darwin") OS_VERSION=macosx - CASE_INSENSITIVE_FS=true + rm -f Empty empty + touch Empty && [ -f empty ] && CASE_INSENSITIVE_FS=true + rm -f Empty empty ;; "FreeBSD") OS_VERSION=linux |