Changeset: 0c740d994141 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=0c740d994141 Modified Files: vertoo.config Branch: default Log Message:
Merge with Aug2018 branch. diffs (12 lines): diff --git a/vertoo.config b/vertoo.config --- a/vertoo.config +++ b/vertoo.config @@ -9,7 +9,7 @@ main.setVersionFormat('@normal') # %Q - version number surrounded by double quotes main.addAnchor("configure.ag", "[MonetDB], [%v]") -main.addAnchor("MonetDB.spec", "%define version %v") +main.addAnchor("MonetDB.spec", "%global version %v") main.addAnchors("NT/rules.msc", "VERSION=%v") main.addAnchors("NT/monetdb_config.h.in", _______________________________________________ checkin-list mailing list checkin-list@monetdb.org https://www.monetdb.org/mailman/listinfo/checkin-list