From 69719adc7957b3726e1302653bb8610f4059d493 Mon Sep 17 00:00:00 2001
From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Wed, 6 Apr 2005 10:48:09 +0000
Subject: [PATCH] Reduce a bit the flexml stack now that flexml 1.3 is out

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1208 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 src/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Makefile.am b/src/Makefile.am
index 894a83def5..cfed457e96 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -161,7 +161,7 @@ surf/surfxml.c: surf/surfxml.l
 	@LEX@ -o$@ -Psurf_parse_ $^
 
 surf/surfxml.l: surf/surfxml.dtd
-	cd surf; flexml -b 10000000 -S -L surfxml.dtd ; \
+	cd surf; flexml -b 1000000 -S -L surfxml.dtd ; \
 	mv surfxml.l surfxml.l.bak ; \
 	sed 's/surfxml\.h/surf\/surfxml\.h/g' surfxml.l.bak > surfxml.l
 
-- 
2.20.1