diff options
| author | Paul Smith <psmith@gnu.org> | 2022-10-28 17:10:28 -0400 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2022-10-29 13:36:21 -0400 |
| commit | 92789aa2e7586450b1a202f0e451445264b5fbbd (patch) | |
| tree | e0380b84f0537a36be2f38eeee5b7c2364a7fcea /maintMakefile | |
| parent | 4e18732a1d6be8720615b18408cbd0d0195b5b6e (diff) | |
| download | make-git-92789aa2e7586450b1a202f0e451445264b5fbbd.tar.gz | |
* build.sh: Allow a "keep-going" mode during builds
Diffstat (limited to 'maintMakefile')
| -rw-r--r-- | maintMakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintMakefile b/maintMakefile index d8415850..fb98a42f 100644 --- a/maintMakefile +++ b/maintMakefile @@ -295,7 +295,7 @@ NR_MAKE = $(MAKE) # Check builds both with build.sh and with make build.sh_SCRIPT = exec >>'checkcfg.$*.log' 2>&1; set -x; \ cd $(distdir)/_build \ - && OUTDIR=_bld ../build.sh $(CFGCHECK_BUILD_FLAGS) \ + && OUTDIR=_bld ../build.sh -k $(CFGCHECK_BUILD_FLAGS) \ && _bld/make GMK_OUTDIR=../_bld $(AM_MAKEFLAGS) check-local \ && _bld/make GMK_OUTDIR=../_bld $(AM_MAKEFLAGS) clean |