| commit | 3c2c43341792b886740adec80ff875b1461a0ef2 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Nov 06 13:33:32 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Nov 06 13:33:32 2002 +0000 |
| tree | 8036de8852c4326ff543771572357dd15048e110 | |
| parent | 57f0f3475e247dc4ef9896b02be83c2d89ff0541 [diff] |
Fix for bug 631247: configure should test the build directory for being on a case-insensitive filesystem, not the source directory.