diff options
-rw-r--r-- | scripts/lib/devtool/sdk.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/lib/devtool/sdk.py b/scripts/lib/devtool/sdk.py index 84b9f32a57..ae310489e6 100644 --- a/scripts/lib/devtool/sdk.py +++ b/scripts/lib/devtool/sdk.py | |||
@@ -132,7 +132,10 @@ def sdk_update(args, config, basepath, workspace): | |||
132 | new_layers_dir = os.path.join(args.updateserver, 'layers') | 132 | new_layers_dir = os.path.join(args.updateserver, 'layers') |
133 | old_layers_dir = os.path.join(basepath, 'layers') | 133 | old_layers_dir = os.path.join(basepath, 'layers') |
134 | shutil.rmtree(old_layers_dir) | 134 | shutil.rmtree(old_layers_dir) |
135 | shutil.copytree(new_layers_dir, old_layers_dir) | 135 | ret = subprocess.call("cp -a %s %s" % (new_layers_dir, old_layers_dir), shell=True) |
136 | if ret != 0: | ||
137 | logger.error("Copying %s to %s failed" % (new_layers_dir, old_layers_dir)) | ||
138 | return ret | ||
136 | else: | 139 | else: |
137 | # devtool sdk-update http://myhost/sdk | 140 | # devtool sdk-update http://myhost/sdk |
138 | tmpsdk_dir = '/tmp/sdk-ext' | 141 | tmpsdk_dir = '/tmp/sdk-ext' |