Merge remote-tracking branch 'origin/master' into jerry-sandbox
This commit is contained in:
commit
7115db1176
|
@ -740,8 +740,14 @@ class InternalCommands:
|
||||||
shutil.copy(targetDir + "/syntool", bundleBinDir)
|
shutil.copy(targetDir + "/syntool", bundleBinDir)
|
||||||
|
|
||||||
# Copy all generated plugins to the package
|
# Copy all generated plugins to the package
|
||||||
bundlePluginDir = bundleBinDir + "/plugins"
|
bundlePluginDir = bundleBinDir + "plugins"
|
||||||
shutil.copytree(targetDir + "/plugins", bundlePluginDir)
|
pluginDir = targetDir + "/plugins"
|
||||||
|
print "Copying plugins dirtree: " + pluginDir
|
||||||
|
if os.path.isdir(pluginDir):
|
||||||
|
print "Copying to: " + bundlePluginDir
|
||||||
|
shutil.copytree(pluginDir, bundlePluginDir)
|
||||||
|
else:
|
||||||
|
print "pluginDir doesn't exist, skipping"
|
||||||
|
|
||||||
self.loadConfig()
|
self.loadConfig()
|
||||||
if not self.macIdentity:
|
if not self.macIdentity:
|
||||||
|
|
Loading…
Reference in New Issue