diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/chkmanifest | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/bin/chkmanifest b/bin/chkmanifest index a460744..2d31d87 100755 --- a/bin/chkmanifest +++ b/bin/chkmanifest @@ -49,6 +49,19 @@ else fi fi +# Do an autogen if generated files (e.g., configure) is not present +if [ ! -f configure ]; then + echo " running $AUTOGEN" + $AUTOGEN > $AUTOGEN_LOG 2>&1 + if [ $? -ne 0 ]; then + echo $AUTOGEN encountered error. Abort. + echo output from $AUTOGEN: + cat $AUTOGEN_LOG + exit 1 + fi + rm $AUTOGEN_LOG +fi + # Check for duplicate entries. This can be done at any time, but it may as # well be sooner so that if something else fails the presence of duplicates # will already be known. |