Reviewed-by: Paul Dale <pauli@openssl.org>
Reviewed-by: Richard Levitte <levitte@openssl.org>
(Merged from https://github.com/openssl/tools/pull/143)
$args .= "--web ";
} elsif (/^--tools$/) {
$args .= "--tools ";
+ } elsif (/^--fuzz-corpora$/) {
+ $args .= "--fuzz-corpora ";
} elsif (/^--verbose$/) {
$args .= "--verbose ";
} elsif (/^--noself$/) {
--help Print this help and exit
--tools Merge a tools PR (rather than openssl PR)
--web Merge a web PR (rather than openssl PR)
+--fuzz-corpora Merge a PR against fuzz-corpora (rather than openssl PR)
--remote <remote> Repo to merge with (rather than git.openssl.org), usually 'upstream'
--target <branch> Merge target (rather than current branch), usually 'master'
--ref <branch> A synonym for --target
--web)
WHAT=web ; BUILD=no ; shift
;;
+ --fuzz-corpora)
+ WHAT=fuzz-corpora ; BUILD=no ; shift
+ ;;
--cherry-pick)
shift;
PICK=1;
# openssl/tools is governed by OTC
$min_otc = 2;
$min_omc = 0;
+ } elsif (/--fuzz-corpora$/) {
+ $WHAT = 'fuzz-corpora';
+ $min_authors = 1;
+ # openssl/fuzz-corpora is governed by OTC
+ $min_otc = 1;
+ $min_omc = 0;
} elsif (/^--release$/) {
$release = 1;
}