Merge remote-tracking branch 'origin/master' into jerry-sandbox

2015-06-09 10:54:33 -07:00 · 2015-06-09 10:54:33 -07:00 · 552f914549
parent 8e15b77db3 82f822b51a
commit 552f914549
1 changed files with 4 additions and 0 deletions
--- a/ext/toolchain/commands1.py
+++ b/ext/toolchain/commands1.py
@ -739,6 +739,10 @@ class InternalCommands:
 			shutil.copy(targetDir + "/synergys", bundleBinDir)
 			shutil.copy(targetDir + "/syntool", bundleBinDir)

+			# Copy all generated plugins to the package
+			bundlePluginDir = bundleBinDir + "/plugins"
+			shutil.copytree(targetDir + "/plugins", bundlePluginDir)
+
 		self.loadConfig()
 		if not self.macIdentity:
 			raise Exception("run config with --mac-identity")