diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2017-01-16 10:12:17 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2017-01-16 10:12:20 -0800 |
| commit | c749498bebd84e9454abb289f819cdfffc346055 (patch) | |
| tree | 08f4db35f374858651992957c310d752ea450cae /scripts | |
| parent | 17ecb11900d8e71c420099042312c91015c353c4 (diff) | |
| download | subsurface-c749498bebd84e9454abb289f819cdfffc346055.tar.gz | |
build.sh: fix potential autoreconf problem
It appears that sometimes autoreconf will not install ltmain.sh and
subsequently fail; simply running autoreconf again appears to be a
workaround.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/build.sh b/scripts/build.sh index 35ad3a3ec..e78b0e051 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -129,6 +129,10 @@ mkdir -p build cd build if [ ! -f ../configure ] ; then + # this is not a typo + # in some scenarios it appears that autoreconf doesn't copy the + # ltmain.sh file; running it twice, however, fixes that problem + autoreconf --install .. autoreconf --install .. fi ../configure --prefix=$INSTALL_ROOT --disable-examples |