| commit | d6389956cb2eec713458a7447b121738b53a5244 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sun Jan 21 22:23:13 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sun Jan 21 22:23:13 2001 +0000 |
| tree | 919ce01bd77570b4bb803840d46ecc7611772e17 | |
| parent | 0c94724cc77a004973fb0105417c084234c2da73 [diff] |
Don't generate project if the XML file already exists and is identical to what we've generated. Overridable with a "force" argument to mkproject().