Do generate the header we need with flexml

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1000 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/Makefile.am b/src/Makefile.am
index 3b69955..91d07ae 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -156,7 +156,7 @@ surf/surfxml.c: surf/surfxml.l
        @LEX@ -o$@ -Psurf_parse_ $^
 
 surf/surfxml.l: surf/surfxml.dtd
-       cd surf; flexml -b 1000000 -S -L surfxml.dtd ; \
+       cd surf; flexml -b 10000000 -S -H -L surfxml.dtd ; \
        mv surfxml.l surfxml.l.bak ; \
        sed 's/surfxml\.h/surf\/surfxml\.h/g' surfxml.l.bak > surfxml.l