Ticket #839: build.patch
| File build.patch, 0.5 kB (added by tjcri, 1 year ago) |
|---|
-
build.py
old new 10 10 outputFilename = "OpenLayers.js" 11 11 12 12 if len(sys.argv) > 1: 13 configFilename = sys.argv[1] + ".cfg" 13 configFilename = sys.argv[1] 14 extension = configFilename[len(configFilename)-4:len(configFilename)] 15 16 if extension != ".cfg": 17 configFilename = sys.argv[1] + ".cfg" 18 14 19 if len(sys.argv) > 2: 15 20 outputFilename = sys.argv[2] 16 21
