diff --git a/fuzz/ci-fuzz.sh b/fuzz/ci-fuzz.sh index 9894178458d..6f0074b6a1a 100755 --- a/fuzz/ci-fuzz.sh +++ b/fuzz/ci-fuzz.sh @@ -1,5 +1,6 @@ #!/bin/bash set -e +set -x pushd src/msg_targets rm msg_*.rs