diff options
Diffstat (limited to 'binary_search_tool/sysroot_wrapper/switch_to_bad.sh')
| -rwxr-xr-x | binary_search_tool/sysroot_wrapper/switch_to_bad.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/binary_search_tool/sysroot_wrapper/switch_to_bad.sh b/binary_search_tool/sysroot_wrapper/switch_to_bad.sh index 62a908f4..7aae3504 100755 --- a/binary_search_tool/sysroot_wrapper/switch_to_bad.sh +++ b/binary_search_tool/sysroot_wrapper/switch_to_bad.sh @@ -1,6 +1,6 @@ #!/bin/bash -u -source ./sysroot_wrapper/common.sh +source common/common.sh cat $1 > ${bisect_dir}/BAD_SET |