switch_to_bad.sh revision de0a90d676297a216dde2e47562b3a9f57621c41
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