switch_to_bad.sh revision 88c8aac3277c6fd841cb774f6815a14e37f3182f 
1#!/bin/bash -u
2
3source ./sysroot_wrapper/common.sh
4
5cat $1 > ${bisect_dir}/BAD_SET
6
7grep -v -x -F -f $1 ${bisect_dir}/GOOD_SET > ${bisect_dir}/GOOD_SET.tmp
8mv ${bisect_dir}/GOOD_SET.tmp ${bisect_dir}/GOOD_SET
9
10exit 0
11