diff options
author | Paul Smith <psmith@gnu.org> | 2020-05-03 13:39:55 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2020-05-03 14:23:56 -0400 |
commit | c8a6263eb519ccca6ef87fc405a53d255dc0b2e1 (patch) | |
tree | 8a2d865069abc0a567358e6faaf0dbd5c1ea8605 /maintMakefile | |
parent | a015d1f8225004222851b02fe915e2ff40452d25 (diff) | |
download | make-git-c8a6263eb519ccca6ef87fc405a53d255dc0b2e1.tar.gz |
Convert [ ... ] to test ... in scripting.
The "[" link may be missing during OS boostrapping.
* build.sh: Convert "[ ... ]" to "test ..."
* maintMakefile: Ditto.
* scripts/copyright-update: Ditto
* tests/scripts/features/reinvoke: Ditto
* tests/scripts/features/targetvars: Ditto
Diffstat (limited to 'maintMakefile')
-rw-r--r-- | maintMakefile | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/maintMakefile b/maintMakefile index 119a901c..dc4616db 100644 --- a/maintMakefile +++ b/maintMakefile @@ -140,7 +140,7 @@ ChangeLog: .check-git-HEAD .PHONY: .check-git-HEAD .check-git-HEAD: sha="`git rev-parse HEAD`"; \ - [ -f '$@' ] && [ "`cat '$@' 2>/dev/null`" = "$$sha" ] \ + test -f '$@' && [ "`cat '$@' 2>/dev/null`" = "$$sha" ] \ || echo "$$sha" > '$@' @@ -187,7 +187,7 @@ do-po-update: $(MAKE) po-check po-update: - [ -d "po" ] && $(MAKE) do-po-update + test -d "po" && $(MAKE) do-po-update # -------------------------- # # Updating GNU build files. # @@ -385,16 +385,16 @@ gnuweb-dir = www/server/standards # Get the GNU make web page boilerplate etc. update-makeweb: - [ -d '$(MAKEWEBDIR)' ] || mkdir -p '$(MAKEWEBDIR)' - [ -d '$(MAKEWEBDIR)'/CVS ] \ + test -d '$(MAKEWEBDIR)' || mkdir -p '$(MAKEWEBDIR)' + test -d '$(MAKEWEBDIR)'/CVS \ && { cd '$(MAKEWEBDIR)' && $(CVS) update; } \ || { mkdir -p '$(dir $(MAKEWEBDIR))' && cd '$(dir $(MAKEWEBDIR))' \ && $(CVS) -d $(makeweb-repo) co -d '$(notdir $(MAKEWEBDIR))' make; } # Get the GNU web page boilerplate etc. update-gnuweb: - [ -d '$(GNUWEBDIR)' ] || mkdir -p '$(GNUWEBDIR)' - [ -d '$(GNUWEBDIR)/$(gnuweb-dir)'/CVS ] \ + test -d '$(GNUWEBDIR)' || mkdir -p '$(GNUWEBDIR)' + test -d '$(GNUWEBDIR)/$(gnuweb-dir)'/CVS \ && { cd '$(GNUWEBDIR)/$(gnuweb-dir)' && $(CVS) update; } \ || { cd '$(GNUWEBDIR)' && $(CVS) -d $(gnuweb-repo) co '$(gnuweb-dir)'; } @@ -446,8 +446,8 @@ $(COV_BUILD_FILE): $(filter %.c %.h,$(DISTFILES)) cov-submit: $(COV_BUILD_FILE)-submitted $(COV_BUILD_FILE)-submitted: $(COV_BUILD_FILE) - @[ -n "$(COVERITY_TOKEN)" ] || { echo 'COVERITY_TOKEN not set'; exit 1; } - @[ -n "$(COVERITY_EMAIL)" ] || { echo 'COVERITY_EMAIL not set'; exit 1; } + @test -n "$(COVERITY_TOKEN)" || { echo 'COVERITY_TOKEN not set'; exit 1; } + @test -n "$(COVERITY_EMAIL)" || { echo 'COVERITY_EMAIL not set'; exit 1; } rm -f '$@' case '$(VERSION)' in \ (*.*.9*) type="daily build"; ext=".$$(date +%Y%m%d)" ;; \ |