update to_build_host a bit

[next-scripts] / common.sh

diff --git a/common.sh b/common.sh
index 7eaa48620e0214885854a542a612c7e113c5f317..8e9f484d13ef16939ab16216807ace2330d6c5ac 100644 (file)
--- a/common.sh
+++ b/common.sh
@@ -54,6 +54,16 @@ get_contacts()
        awk -F '\t' '/^[^#]/ && $3=="'"$1"'" { print $1; }' $CTRL_FILE
 }
 
+get_url()
+{
+       awk -F '\t' '/^[^#]/ && $3=="'"$1"'" { print $4; }' $CTRL_FILE
+}
+
+get_build_flag()
+{
+       awk -F '\t' '/^[^#]/ && $3=="'"$1"'" { print $6; }' $CTRL_FILE
+}
+
 check_unmerged_files()
 {
        local tree="$1"