diff options
Diffstat (limited to 'contrib/reghunt/examples/29478.config')
| -rw-r--r-- | contrib/reghunt/examples/29478.config | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/contrib/reghunt/examples/29478.config b/contrib/reghunt/examples/29478.config new file mode 100644 index 000000000..1398f6012 --- /dev/null +++ b/contrib/reghunt/examples/29478.config @@ -0,0 +1,16 @@ +BUGID=29478 +FIND=break +LANG=c +BUILD_KIND=simple +BUG_KIND=bogus-warning +OPTS="-O1" + +. ./common.config + +#LOW_PATCH=212 +#HIGH_PATCH=222 + +#msg 0 'NOTE: skipping low patch, already verified' +#SKIP_LOW=1 +#msg 0 'NOTE: skipping high patch, already verified' +#SKIP_HIGH=1 |