Add a --disable-nsc option
authorGustavo J. A. M. Carneiro <gjc@inescporto.pt>
Fri Apr 03 17:28:03 2009 +0100 (10 months ago)
changeset 2920922476c714
parent 28 6cbc3d534abc
child 30 a27797fe2367
Add a --disable-nsc option
build.py
     1.1 --- a/build.py	Fri Apr 03 17:20:21 2009 +0100
     1.2 +++ b/build.py	Fri Apr 03 17:28:03 2009 +0100
     1.3 @@ -58,6 +58,9 @@
     1.4  
     1.5  def main(argv):
     1.6      parser = OptionParser()
     1.7 +    parser.add_option('--disable-nsc',
     1.8 +                      help=("Don't try to build NSC"), action="store_true", default=False,
     1.9 +                      dest='disable_nsc')
    1.10      (options, args) = parser.parse_args()
    1.11  
    1.12      cwd = os.getcwd()
    1.13 @@ -71,7 +74,11 @@
    1.14      config = dom.parse(dot_config)
    1.15      dot_config.close()
    1.16  
    1.17 -    if sys.platform in ['darwin', 'win32']:
    1.18 +    if options.disable_nsc:
    1.19 +        print "# Skip NSC (by user request)"
    1.20 +        for node in config.getElementsByTagName("nsc"):
    1.21 +            config.documentElement.removeChild(node)
    1.22 +    elif sys.platform in ['darwin', 'win32']:
    1.23          print "# Skip NSC (platform not supported)"
    1.24      else:
    1.25          nsc_config_elems = config.getElementsByTagName("nsc")