install uninstall \
version gittag copyright \
gitpush gitpushorigin gitpushgithub \
- version_up___stamp \
+ version_up___stamp gittag___stamp \
clean src-clean gtags-clean \
test-clean doc-clean doc_inner-clean
$(GIT) push github main --tags
$(GIT) rev-parse HEAD > $@
-gittag___stamp: version_up___stamp
- $(GIT) tag $(VERSION) main
+gittag___stamp:
+ $(GIT) tag --points-at main | $(GREP) -qx "$(VERSION)" || $(GIT) tag $(VERSION) main
$(PRINTF) "%s\n" "$(VERSION)" > $@
version_up___stamp: VERSION
if [ -n "$$($(GIT) status -s)" ]; then $(PRINTF) "Error: commit, first.\n"; exit 1; fi
- $(GIT) tag --points-at main | $(GREP) -qx "$(VERSION)" || while $(GIT) rev-parse -q --verify $$($(CAT) VERSION) >/dev/null 2>&1; do $(PRINTF) "v%.1fp%02d\n" $(VERSIONNO) $$($(EXPR) $(PATCHNO) + 1) >$<; done
+ while $(GIT) rev-parse -q --verify $$($(CAT) VERSION) >/dev/null 2>&1; do $(PRINTF) "v%.1fp%02d\n" $(VERSIONNO) $$($(EXPR) $(PATCHNO) + 1) >$<; done
$(GIT) add VERSION
$(GIT) commit -m "version up"
$(CAT) $< >$@