diff options
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)" ;; \ |