6 Commits

Author	SHA1	Message	Date
Roman Iten	1caa2ff3cb	prepare_port: fix race condition in safety rule ... The safe guard Git repository in $(CONTRIB_DIR) may only be initialized once, regardless of the number of ports to be prepared. Issue #3235	2019-04-01 19:33:49 +02:00
Christian Helmuth	a6d7d5da07	tool/port: limit destructive git operations to port ... Issue #2959	2018-09-05 11:04:24 +02:00
Christian Helmuth	66d44289e1	tool/ports: streamline hash tool usage	2018-05-30 13:36:22 +02:00
Christian Helmuth	65b2e63bb9	Ensure stable sorting order in tools ... This eliminates certain surprises with port contents and depot hashes.	2017-11-06 13:57:25 +01:00
Martin Stein	992a5ec1ae	prepare_port: prefix git clone output ... To raise readability when preparing multiple ports in parallel we prefix also the git clone output with the port name dark-yellow-coloured. To achieve this we sed the git output. In sed \x1b[ resolves to an escape sequence and \033[, that we use normally, doesn't. The echo command, at the other hand, resolves both to an escape sequence. Thus we use the sed-compatible version in general. This commit inhibits the progress output of git clone as it can't be redirected to sed. Ref #1872	2016-03-07 12:34:43 +01:00
Norman Feske	acf00c29c3	Add 'update_hash' and 'list' to tool/ports ... Issue #1082	2014-05-27 13:45:03 +02:00