diff --git a/infra/base-images/base-builder/compile b/infra/base-images/base-builder/compile index 4ba207f15..c1f134c5d 100755 --- a/infra/base-images/base-builder/compile +++ b/infra/base-images/base-builder/compile @@ -164,8 +164,8 @@ EOF this_dir=$(dirname "$0") "$this_dir/jazzer_driver" --ubsan "$@" EOF - elif [ "$SANITIZER" = "coverage" ]; then - # Coverage builds require no instrumentation. + elif [ "$SANITIZER" = "coverage" ] || [ "$SANITIZER" = "introspector" ]; then + # Coverage & introspector builds require no instrumentation. cp $(which jazzer_driver) $jazzer_driver_with_sanitizer fi chmod +x $jazzer_driver_with_sanitizer