diff contrib/reghunt/examples/29478.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/29478.config	Fri Jul 17 14:47:48 2009 +0900
@@ -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