diff options
| author | Richard Maw <richard.maw@codethink.co.uk> | 2012-02-15 11:55:44 +0000 |
|---|---|---|
| committer | Richard Maw <richard.maw@codethink.co.uk> | 2012-02-15 11:55:44 +0000 |
| commit | 9c1dc0035c89495778beb484e50e99f102ca7075 (patch) | |
| tree | 20a1a52e5ca3a6aa73a64df7ea2b3b1d5503c695 | |
| parent | bd58b03d3128c66d317af2db889cd4614c074131 (diff) | |
| download | gmp-9c1dc0035c89495778beb484e50e99f102ca7075.tar.gz | |
gmp.morph: use autoreconf instead of .bootstrap
This should be equivalent apart from .bootstrap making a
texi file
| -rw-r--r-- | gmp.morph | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ "name": "gmp", "kind": "chunk", "configure-commands": [ - "bash .bootstrap", + "autoreconf -fi", "./configure --prefix=/usr --enable-cxx --enable-mpbsd" ], "build-commands": [ |