commit | 7006fa14d8e6e79c8db27916fea7b6319796153a | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Mon Jun 16 15:12:16 2003 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Jun 16 15:12:16 2003 +0000 |
tree | 958873c07a6cbfd2aacc4c5c6c44f10ac046992e | |
parent | e5370655dc769a23979a85c7e2790804171f71a3 [diff] |
Allow passing a build directory on the command line. Also, if the build directory is found to exist we don't clean it up. We also use configure -C. All this lets us keep build directories, which graeatly speeds up the process of debugging installers.