diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 1998-07-04 16:51:51 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 1998-07-04 16:51:51 +0000 |
| commit | e8359d9f872df984364b6acda178ed622fdcc666 (patch) | |
| tree | dc145baf1a900469c6f2e4b57e071c4f436f56dd /tools/DoMake | |
| parent | d1561bbfe864542d86b2c83eb50a396a946a9b33 (diff) | |
Macintosh
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools/DoMake')
| -rw-r--r-- | tools/DoMake | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/tools/DoMake b/tools/DoMake index f2580d409..0e1ae21b8 100644 --- a/tools/DoMake +++ b/tools/DoMake @@ -7,6 +7,15 @@ set echo 0 set tempfile "{TempFolder}temp-domake-`Date -n`" +if "`exists "{tempfile}"`" + set i 0 + loop + break if ! "`exists "{tempfile}.{i}"`" + evaluate i += 1 + end + set tempfile "{tempfile}.{i}" +end + if "`exists Makefile.Mac`" != "" set domake_main "Makefile.Mac" else @@ -27,7 +36,6 @@ else make {domake_files} {"Parameters"} >>"{TempFile}" end -unset domake_files "{tempfile}" Delete -i "{tempfile}" |