diff options
-rwxr-xr-x | contrib/mingw/build.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/mingw/build.sh b/contrib/mingw/build.sh index 927b84d4a3..999ca72805 100755 --- a/contrib/mingw/build.sh +++ b/contrib/mingw/build.sh @@ -88,11 +88,13 @@ echo "$command_line" > $log scripts=$(dirname $0) +echo "$scripts/build-rpms.sh -i $debug $no_run $prefix $source $targets $hosts $version" >> $log $scripts/build-rpms.sh -i $debug $no_run $prefix $source $targets $hosts $version 2>&1 | tee -a $log if [ ${PIPESTATUS[0]} -ne 0 ]; then terminate "Making the RPM files." fi +echo "$scripts/build-exes.sh $debug $no_run $prefix $targets $relocation" >> $log $scripts/build-exes.sh $debug $no_run $prefix $targets $relocation 2>&1 | tee -a $log if [ ${PIPESTATUS[0]} -ne 0 ]; then terminate "Making the executable files." |