mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-16 22:35:41 +00:00
Code Issues Projects Releases Wiki Activity

Check for Mmakefile' as an alternative to Mmake'.

Browse Source 
Estimated hours taken: 0.25

scripts/mmake.in:
	Check for `Mmakefile' as an alternative to `Mmake'.
	(This change is so I can rename scripts/Mmake as Mmakefile
	to avoid a conflict with scripts/mmake on systems with
	case-insensitive file systems, e.g. Windows 95.)
This commit is contained in:
Fergus Henderson
1996-05-25 03:42:17 +00:00
parent f89d46df5e
commit d2457986f8
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
scripts/mmake.in
View File

@@ -82,10 +82,14 @@ EOF
esac
done
if [ -f Mmake ]; then
mmake="Mmake"
if [ -f Mmakefile ]; then
mmake="Mmakefile"
else
mmake=""
if [ -f Mmake ]; then
mmake="Mmake"
else
mmake=""
fi
fi
if [ "`echo *.dep`" = "*.dep" ]; then
deps=""