From 38bcea54d817a6e58db31022cea80c68d42b9fe5 Mon Sep 17 00:00:00 2001
From: Nick Bolton <nick@synergy-project.org>
Date: Mon, 25 May 2015 18:17:09 +0100
Subject: [PATCH] Do nothing if plugins dir doesn't exist #4695

---
 ext/toolchain/commands1.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ext/toolchain/commands1.py b/ext/toolchain/commands1.py
index a051ee14..9f8149c2 100644
--- 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