diff options
| author | Phillip Lord | 2018-03-23 22:01:08 +0000 |
|---|---|---|
| committer | Phillip Lord | 2018-03-23 22:01:08 +0000 |
| commit | 40fde7a75d4b036f597a0e8e768a7428875fc8fc (patch) | |
| tree | b17d2c746b84dbb6e0cde6815cc98c643a7d69a1 /admin | |
| parent | cc8bc2a272da7c801df2cff51d31d72032acf9b4 (diff) | |
| download | emacs-40fde7a75d4b036f597a0e8e768a7428875fc8fc.tar.gz emacs-40fde7a75d4b036f597a0e8e768a7428875fc8fc.zip | |
Ensure configure is running if necessary
* admin/nt/dist-build/build-zips.sh: Check for missing Makefile.
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 \ |