diff options
| author | Paul Sherwood <paul.sherwood@codethink.co.uk> | 2013-07-31 10:32:05 +0000 |
|---|---|---|
| committer | Paul Sherwood <paul.sherwood@codethink.co.uk> | 2013-07-31 10:32:05 +0000 |
| commit | 5d4102ffe43a15608e0e864fc7e7f5c6c3b49aac (patch) | |
| tree | 083c2c4c6d5e2964fb430177769766fc6ec51620 | |
| parent | bbe2fe6ec5cd750192542273faa3e9a5842efcd6 (diff) | |
| download | ragel-baserock/morph.tar.gz | |
Re-force prefix during configurebaserock/morph
| -rw-r--r-- | ragel.morph | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ragel.morph b/ragel.morph index 7f9e708c..08f4a484 100644 --- a/ragel.morph +++ b/ragel.morph @@ -4,7 +4,7 @@ build-system: autotools max-jobs: 1 configure-commands: - ./autogen.sh --disable-manual --prefix="$PREFIX" -- ./configure --disable-manual +- ./configure --disable-manual --prefix="$PREFIX" build-commands: - make -C src version.h - make |