Do nothing if plugins dir doesn't exist deskflow#4695

schatt · May 25, 2015 · 38bcea5 · 38bcea5
1 parent 14bb44f
commit 38bcea5
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/ext/toolchain/commands1.py b/ext/toolchain/commands1.py
@@ -1376,6 +1376,9 @@ def getLibraryDistFilename(self, type, dir, name):
 		return filename
 
 	def findLibraryFile(self, type, dir, name):
+		if not os.path.exists(dir):
+			return None
+
 		(platform, packageExt, libraryExt) = self.getDistributePlatformInfo(type)
 		ext = libraryExt