bin_dir=$(dirname "$0")
-LOG_FILE="../merge.log"
+[ "$LOG_FILE" ] || LOG_FILE="../merge.log"
SHA1_FILE="../SHA1s"
CTRL_FILE="../etc/control"
export NEXT_GCC_PPCLE_VERSION="$gcc_ppcle_version"
export NEXT_J_FACTOR="$j_factor"
+# Support functions
+get_contacts()
+{
+ awk -F '\t' '/^[^#]/ && $3=="'"$1"'" { print $1; }' $CTRL_FILE
+}
+
true