--- a/sbsv2/raptor/python/raptor_make.py	Mon Jan 18 17:04:24 2010 +0000
+++ b/sbsv2/raptor/python/raptor_make.py	Mon Jan 18 17:09:57 2010 +0000
@@ -419,10 +419,8 @@
 			# Can supply options on the commandline to override default settings.
 			if len(self.raptor.makeOptions) > 0:
 				for o in self.raptor.makeOptions:
-					if o.find(";") != -1:
+					if o.find(";") != -1 or  o.find("\\") != -1:
 						command += "  " + "'" + o + "'"
-					elif o.find("\\") != -1:
-						command += "  " + o.replace("\\","\\\\")
 					else:
 						command += "  " + o