Sergey Sharybin 1252577580 Safer fix for make_update.py on buildbot ... Makes it so compilation doesn't fail when the SVN updating stumbles upon checkout which doesn't have correspondence in a tag, but which isn't so risky as previous change.		2019-11-12 14:28:39 +01:00
..
make_source_archive.sh	GNUmakefile: avoid using group/owner for source_archive	2019-10-31 00:51:15 +11:00
make_test.py	Build: prepare "make update" to work for new release cycle branching	2019-10-09 15:09:53 +02:00
make_update.py	Safer fix for make_update.py on buildbot	2019-11-12 14:28:39 +01:00
make_utils.py	Build: prepare "make update" to work for new release cycle branching	2019-10-09 15:09:53 +02:00