diff options
| -rwxr-xr-x | misc/relchk.sh.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/relchk.sh.in b/misc/relchk.sh.in index 05fd9bede..78c592f0b 100755 --- a/misc/relchk.sh.in +++ b/misc/relchk.sh.in @@ -51,7 +51,7 @@ main() { rm -rf $distdir rm -f $distdir.tar.gz - ./config.status + ./config.status --recheck echo " * Log is ${log##*/}" echo " * Error log is ${logerror##*/}" |