diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/chkmanifest | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/chkmanifest b/bin/chkmanifest index f5269a1..a0b51af 100755 --- a/bin/chkmanifest +++ b/bin/chkmanifest @@ -54,8 +54,8 @@ fi # Do an autogen if generated files (e.g., configure) is not present if [ ! -f configure ]; then - echo " running $AUTOGEN -p" - $AUTOGEN -p > $AUTOGEN_LOG 2>&1 + echo " running $AUTOGEN" + $AUTOGEN > $AUTOGEN_LOG 2>&1 if [ $? -ne 0 ]; then echo $AUTOGEN encountered error. Abort. echo output from $AUTOGEN: |