Changeset: c930afd7ee25 for MonetDB
URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=c930afd7ee25
Modified Files:
testing/Mfilter.py.in
Branch: default
Log Message:
Also recognize config opt comment.
diffs (14 lines):
diff --git a/testing/Mfilter.py.in b/testing/Mfilter.py.in
--- a/testing/Mfilter.py.in
+++ b/testing/Mfilter.py.in
@@ -134,7 +134,9 @@ def mFilter (FILE, IGNORE) :
il = iw = ic = el = ew = ec = al = aw = ac = 0
for iline in open(FILE, 'rU'):
iline = iline.replace('\033[?1034h','')
- if iline.startswith('# builtin opt') or iline.startswith('# cmdline
opt'):
+ if iline.startswith('# builtin opt') or \
+ iline.startswith('# cmdline opt') or \
+ iline.startswith('# config opt'):
continue
# normalize exponents in floating point representation: remove
# leading zeros from exponent (but keeping at least one digit,
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list
