MarcoFalke 8888beea8d scripted-diff: fuzz: Rename fuzz_seed_corpus to fuzz_corpora ...

-BEGIN VERIFY SCRIPT-
 ren() { sed -i "s:\<$1\>:$2:g" $( git grep -l "$1" ) ; }
 ren fuzz_seed_corpus     fuzz_corpora
 ren FUZZ_SEED_CORPUS_DIR FUZZ_CORPORA_DIR
-END VERIFY SCRIPT-

2024-09-03 20:40:35 +02:00

8.5 KiB

Raw Blame History

View Raw