equal
deleted
inserted
replaced
417 # ones set by the --mo option on the raptor commandline: |
417 # ones set by the --mo option on the raptor commandline: |
418 command += " " + self.defaultMakeOptions |
418 command += " " + self.defaultMakeOptions |
419 # Can supply options on the commandline to override default settings. |
419 # Can supply options on the commandline to override default settings. |
420 if len(self.raptor.makeOptions) > 0: |
420 if len(self.raptor.makeOptions) > 0: |
421 for o in self.raptor.makeOptions: |
421 for o in self.raptor.makeOptions: |
422 if o.find(";") != -1: |
422 if o.find(";") != -1 or o.find("\\") != -1: |
423 command += " " + "'" + o + "'" |
423 command += " " + "'" + o + "'" |
424 elif o.find("\\") != -1: |
|
425 command += " " + o.replace("\\","\\\\") |
|
426 else: |
424 else: |
427 command += " " + o |
425 command += " " + o |
428 |
426 |
429 # Switch off dependency file including? |
427 # Switch off dependency file including? |
430 if self.raptor.noDependInclude: |
428 if self.raptor.noDependInclude: |