diff contrib/reghunt/examples/28970.config @ 0:a06113de4d67

first commit
author kent <kent@cr.ie.u-ryukyu.ac.jp>
date Fri, 17 Jul 2009 14:47:48 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/contrib/reghunt/examples/28970.config	Fri Jul 17 14:47:48 2009 +0900
@@ -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"