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