diff options
Diffstat (limited to 'admin')
| -rwxr-xr-x | admin/nt/dist-build/build-zips.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/admin/nt/dist-build/build-zips.sh b/admin/nt/dist-build/build-zips.sh index 01c237152a9..3d28279885a 100755 --- a/admin/nt/dist-build/build-zips.sh +++ b/admin/nt/dist-build/build-zips.sh | |||
| @@ -49,8 +49,9 @@ function build_zip { | |||
| 49 | export PKG_CONFIG_PATH=$PKG | 49 | export PKG_CONFIG_PATH=$PKG |
| 50 | 50 | ||
| 51 | ## Running configure forces a rebuild of the C core which takes | 51 | ## Running configure forces a rebuild of the C core which takes |
| 52 | ## time that is not always needed | 52 | ## time that is not always needed, so do not do it unless we have |
| 53 | if (($CONFIG)) | 53 | ## to. |
| 54 | if [ ! -f Makefile ] || (($CONFIG)) | ||
| 54 | then | 55 | then |
| 55 | echo [build] Configuring Emacs $ARCH | 56 | echo [build] Configuring Emacs $ARCH |
| 56 | ../../../git/$BRANCH/configure \ | 57 | ../../../git/$BRANCH/configure \ |