From f10add085ebde4ac91059831733c6809769bae22 Mon Sep 17 00:00:00 2001
From: Jeffrey Townsend <jeffrey.townsend@bigswitch.com>
Date: Tue, 29 Nov 2016 17:39:36 +0000
Subject: [PATCH] Plugins are optional.

---
 tools/mkinstaller.py | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/tools/mkinstaller.py b/tools/mkinstaller.py
index 1d1375c2..ac4dc432 100755
--- a/tools/mkinstaller.py
+++ b/tools/mkinstaller.py
@@ -242,13 +242,14 @@ if __name__ == '__main__':
     if ops.postinstall_script:
         installer.add_file_as(ops.postinstall_script, "postinstall.sh")
 
-    for plugin in ops.plugin:
-        basename = os.path.split(plugin)[1]
-        basename = os.path.splitext(basename)[0]
-        dst = tempfile.mktemp(dir=plugindir,
-                              prefix=basename+'-',
-                              suffix='.py')
-        shutil.copy(plugin, dst)
+    if ops.plugin:
+        for plugin in ops.plugin:
+            basename = os.path.split(plugin)[1]
+            basename = os.path.splitext(basename)[0]
+            dst = tempfile.mktemp(dir=plugindir,
+                                  prefix=basename+'-',
+                                  suffix='.py')
+            shutil.copy(plugin, dst)
 
     l = os.listdir(plugindir)
     if l: