#!/bin/bash
LOG_FILE="../merge.log"
+SHA1_FILE="../SHA1s"
build_host="ka2"
build_dir="/scratch/sfr/next"
build_cmd="bin/build_next"
execute date
execute git checkout master
execute git reset --hard stable
+ printf 'Name\t\tSHA1\n----\t\t----\n' > $SHA1_FILE
+
}
heads=$(grep -v '^#' ../real_control | awk -F '\t' '$2=="quilt" || $2=="git" { printf("%s/%s ", $3, $5); }')
}
done
}
+ tab="\t"
+ [ $(echo "$tree" | wc -c) -le 8 ] && tab="\t\t"
+ printf "%s$tab%s\n" $tree $(git show-ref --hash "${h/\/*://}") >> $SHA1_FILE
[ -x "../pre-build/$tree" ] && {
"../pre-build/$tree" || bash -i || exit
}