diff options
| -rw-r--r-- | scripts/lib/devtool/sdk.py | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/scripts/lib/devtool/sdk.py b/scripts/lib/devtool/sdk.py index 85c0fb1729..f08f0eee7c 100644 --- a/scripts/lib/devtool/sdk.py +++ b/scripts/lib/devtool/sdk.py | |||
| @@ -81,13 +81,9 @@ def install_sstate_objects(sstate_objects, src_sdk, dest_sdk): | |||
| 81 | 81 | ||
| 82 | def sdk_update(args, config, basepath, workspace): | 82 | def sdk_update(args, config, basepath, workspace): |
| 83 | # Fetch locked-sigs.inc file from remote/local destination | 83 | # Fetch locked-sigs.inc file from remote/local destination |
| 84 | from ConfigParser import NoSectionError | ||
| 85 | updateserver = args.updateserver | 84 | updateserver = args.updateserver |
| 86 | if not updateserver: | 85 | if not updateserver: |
| 87 | try: | 86 | updateserver = config.get('SDK', 'updateserver', '') |
| 88 | updateserver = config.get('SDK', 'updateserver', None) | ||
| 89 | except NoSectionError: | ||
| 90 | pass | ||
| 91 | if not updateserver: | 87 | if not updateserver: |
| 92 | raise DevtoolError("Update server not specified in config file, you must specify it on the command line") | 88 | raise DevtoolError("Update server not specified in config file, you must specify it on the command line") |
| 93 | logger.debug("updateserver: %s" % args.updateserver) | 89 | logger.debug("updateserver: %s" % args.updateserver) |