changeset 985:3ab98fadb263

only copy FlexLexer if it doesn't exist yet.
author hanwen <hanwen@xs4all.nl>
date Fri, 13 Jan 2006 01:51:51 +0100
parents 644ff02c7df3
children 4b69943a9c4c
files specs/framework.py
diffstat 1 files changed, 4 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/specs/framework.py	Fri Jan 13 01:50:43 2006 +0100
+++ b/specs/framework.py	Fri Jan 13 01:51:51 2006 +0100
@@ -326,9 +326,10 @@
 
 	def configure (self):
 		self.autoupdate ()
-		flex = self.read_pipe ('which flex')
-		flex_include_dir = os.path.split (flex)[0] + "/../include"
-		gub.Package.system (self, '''
+		if not os.path.exists (self.expand ('%(builddir)s/FlexLexer.h')):
+			flex = self.read_pipe ('which flex')
+			flex_include_dir = os.path.split (flex)[0] + "/../include"
+			gub.Package.system (self, '''
 mkdir -p %(builddir)s
 cp %(flex_include_dir)s/FlexLexer.h %(builddir)s/
 ''', locals ())