common.sh: make the TAB field separator more reliable

diff --git a/common.sh b/common.sh
index 1fdc04c3aeef8ff5570eaa3b8f16348c2b7f4963..3dfda680858c56e300293cc7efca5b4ed99f6a87 100644 (file)
--- a/common.sh
+++ b/common.sh
@@ -49,24 +49,26 @@ export NEXT_GCC_PPCLE_VERSION="$gcc_ppcle_version"
 export NEXT_J_FACTOR="$j_factor"
 
 # Support functions
+_TAB=$(printf '\t')
+
 get_contacts()
 {
-       awk -F '\t' -v branch="$1" '/^[^#]/ && $3==branch { print $1; }' "$CTRL_FILE"
+       awk -F "$_TAB" -v branch="$1" '/^[^#]/ && $3==branch { print $1; }' "$CTRL_FILE"
 }
 
 get_url()
 {
-       awk -F '\t' -v branch="$1" '/^[^#]/ && $3==branch { print $4; }' "$CTRL_FILE"
+       awk -F "$_TAB" -v branch="$1" '/^[^#]/ && $3==branch { print $4; }' "$CTRL_FILE"
 }
 
 get_remote_branch()
 {
-       awk -F '\t' -v branch="$1" '/^[^#]/ && $3==branch { print $5; }' "$CTRL_FILE"
+       awk -F "$_TAB" -v branch="$1" '/^[^#]/ && $3==branch { print $5; }' "$CTRL_FILE"
 }
 
 get_build_flag()
 {
-       awk -F '\t' -v branch="$1" '/^[^#]/ && $3==branch { print $6; }' "$CTRL_FILE"
+       awk -F "$_TAB" -v branch="$1" '/^[^#]/ && $3==branch { print $6; }' "$CTRL_FILE"
 }
 
 check_unmerged_files()