diff options
| author | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-01-28 19:16:43 +0100 |
|---|---|---|
| committer | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-01-28 19:16:43 +0100 |
| commit | b44ee368288b98ed5125ccb214e6d665c134be1f (patch) | |
| tree | 0d0f9a53cd07000b31eeaebe4aac630bcf1e9429 /GNUmakefile | |
| parent | 3f0c9b37eab2c80c26e07e3110c7a88f3edefe6d (diff) | |
Minor build system cleanups.
darcs-hash:7cd12917b0b61183c70dddabc0fd9c2034768761
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 9f702e0..0d73315 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -60,4 +60,4 @@ config.make: configure config.make.in sh ./configure configure: configure.ac - autoreconf + autoreconf || touch configure |