MonetDB: Oct2010 - Merge with Jun2010 branch.

[Sjoerd Mullender]

Changeset: 0f3724fedfcb for MonetDB
URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=0f3724fedfcb
Modified Files:
        
Branch: Oct2010
Log Message:

Merge with Jun2010 branch.


diffs (12 lines):

diff -r 8fa82454536c -r 0f3724fedfcb buildtools/autogen/autogen/codegen.py
--- a/buildtools/autogen/autogen/codegen.py     Wed Sep 08 14:25:35 2010 +0200
+++ b/buildtools/autogen/autogen/codegen.py     Wed Sep 08 17:45:32 2010 +0200
@@ -197,7 +197,7 @@
     buf = src.read()
     src.close()
     buf2 = ""
-    if code_extract.has_key(fext):
+    if ext != 'mx' and code_extract.has_key(fext):
         epat = end_code_extract[fext]
         for pat,newext in code_extract[fext]:
             if newext == "." + ext:
_______________________________________________
Checkin-list mailing list
Checkin-list@monetdb.org
http://mail.monetdb.org/mailman/listinfo/checkin-list