diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 1996-11-25 15:54:53 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 1996-11-25 15:54:53 +0000 |
| commit | 944c33279caf9b5eb3ab316bfed19e20b1432b2b (patch) | |
| tree | 476e065a571ac550fa6c27b56307ef8b6cf39a1e | |
| parent | 41fe12ce668fa5620362cea3b4c4c6933dea0851 (diff) | |
utilise Makefile s'il n'y a pas de Makefile.Mac
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1204 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | tools/DoMake | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/tools/DoMake b/tools/DoMake index 01a76f995..9bbb97313 100644 --- a/tools/DoMake +++ b/tools/DoMake @@ -6,10 +6,14 @@ set echo 0 set tempfile "{TempFolder}temp-domake-`Date -n`" -if "`exists Makefile.Mac.depend`" != "" - set domake_files "-f Makefile.Mac -f Makefile.Mac.depend" -else +if "`exists Makefile.Mac`" != "" set domake_files "-f Makefile.Mac" +else + set domake_files "-f Makefile" +end + +if "`exists Makefile.Mac.depend`" != "" + set domake_files "{domake_files} -f Makefile.Mac.depend" end if "{1}" == "-quiet" |