awk -F '\t' '/^[^#]/ && $3=="'"$1"'" { print $1; }' $CTRL_FILE
}
+check_unmerged_files()
+{
+ local tree="$1"
+ local um_files
+ local rm_files
+
+ um_files=$(git diff 2>&1 | sed -n 's/^\* Unmerged path //p')
+ if [ "$um_files" ] && [ -f "../merge-files/$tree" ]; then
+ rm_files=$(grep -F "$um_files" "../merge-files/$tree")
+ if [ "$rm_files" ]; then
+ "$bin_dir/do_rm" $rm_files
+ fi
+ fi
+}
+
true