Do nothing if plugins dir doesn't exist #4695

2015-05-25 18:17:09 +01:00 · 2015-05-25 18:17:09 +01:00 · 38bcea54d8
parent 14bb44f539
commit 38bcea54d8
1 changed files with 3 additions and 0 deletions
--- a/ext/toolchain/commands1.py
+++ b/ext/toolchain/commands1.py
@ -1376,6 +1376,9 @@ class InternalCommands:
 		return filename

 	def findLibraryFile(self, type, dir, name):
+		if not os.path.exists(dir):
+			return None
+
 		(platform, packageExt, libraryExt) = self.getDistributePlatformInfo(type)
 		ext = libraryExt