changeset 950:61edb97f2ab4

take target_gcc_flags from settings, not from thumb.
author hanwen <hanwen@xs4all.nl>
date Thu, 12 Jan 2006 11:29:57 +0100
parents 710ae851d7e4
children 4fbc3151d0a6
files specs/framework.py
diffstat 1 files changed, 2 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/specs/framework.py	Thu Jan 12 09:39:42 2006 +0100
+++ b/specs/framework.py	Thu Jan 12 11:29:57 2006 +0100
@@ -314,9 +314,8 @@
 
 		# FIXME: should add to C_INCLUDE_PATH
 		builddir = self.builddir ()
-		if not self.__dict__.has_key ('target_gcc_flags'):
-			self.target_gcc_flags = ''
-		self.target_gcc_flags += ' -I%(builddir)s' % locals ()
+		self.target_gcc_flags = (settings.target_gcc_flags
+					 + ' -I%(builddir)s' % locals ())
 
 	def configure_command (self):
 		## FIXME: pickup $target-guile-config