diff options
Diffstat (limited to 'contrib/reghunt/examples/28970.config')
| -rw-r--r-- | contrib/reghunt/examples/28970.config | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/contrib/reghunt/examples/28970.config b/contrib/reghunt/examples/28970.config new file mode 100644 index 000000000..f64b0e687 --- /dev/null +++ b/contrib/reghunt/examples/28970.config @@ -0,0 +1,19 @@ +BUGID=28970 +FIND=break +LANG=c +BUILD_KIND=full +BUG_KIND=wrong-code +OPTS="-O2" +REG_CONFOPTS="--disable-bootstrap" + +. ./common.config + +#LOW_PATCH=101 +#HIGH_PATCH=111 + +#msg 0 'NOTE: skipping low patch, already verified' +#SKIP_LOW=1 +#msg 0 'NOTE: skipping high patch, already verified' +#SKIP_HIGH=1 + +#REG_IDLIST="161" |