diff options
Diffstat (limited to 'scripts/lib/devtool/sdk.py')
| -rw-r--r-- | scripts/lib/devtool/sdk.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/lib/devtool/sdk.py b/scripts/lib/devtool/sdk.py index f46577c2ab..4616753797 100644 --- a/scripts/lib/devtool/sdk.py +++ b/scripts/lib/devtool/sdk.py | |||
| @@ -145,6 +145,9 @@ def sdk_update(args, config, basepath, workspace): | |||
| 145 | # Fetch manifest from server | 145 | # Fetch manifest from server |
| 146 | tmpmanifest = os.path.join(tmpsdk_dir, 'conf', 'sdk-conf-manifest') | 146 | tmpmanifest = os.path.join(tmpsdk_dir, 'conf', 'sdk-conf-manifest') |
| 147 | ret = subprocess.call("wget -q -O %s %s/conf/sdk-conf-manifest" % (tmpmanifest, updateserver), shell=True) | 147 | ret = subprocess.call("wget -q -O %s %s/conf/sdk-conf-manifest" % (tmpmanifest, updateserver), shell=True) |
| 148 | if ret != 0: | ||
| 149 | logger.error("Cannot dowload files from %s" % updateserver) | ||
| 150 | return ret | ||
| 148 | changedfiles = check_manifest(tmpmanifest, basepath) | 151 | changedfiles = check_manifest(tmpmanifest, basepath) |
| 149 | if not changedfiles: | 152 | if not changedfiles: |
| 150 | logger.info("Already up-to-date") | 153 | logger.info("Already up-to-date") |
