From 65d1c4ba003b4b3adb8b8de10450064b5066ec57 Mon Sep 17 00:00:00 2001
From: Florian Franzen <Florian.Franzen@gmail.com>
Date: Mon, 20 Feb 2017 14:12:41 +0100
Subject: [PATCH] Update linux setup.sh to use new Makefile
---
Builds/Linux/setup.sh | 18 +-----------------
1 file changed, 1 insertion(+), 17 deletions(-)
diff --git a/Builds/Linux/setup.sh b/Builds/Linux/setup.sh
index 537ac63c0..0ca475cc5 100755
--- a/Builds/Linux/setup.sh
+++ b/Builds/Linux/setup.sh
@@ -39,23 +39,7 @@ else
fi
# Step 2: Compile plugins
-PLUGIN_SRC_DIR="${PROC_DIR}/Source/Processors"
-PLUGINS=`ls -d ${PLUGIN_SRC_DIR}/*`
-
-cd $PLUGIN_SRC_DIR
-for PLUGIN in ${PLUGINS}
-do
- if [ -f $PLUGIN/Makefile ]; then
- cd $PLUGIN
- make clean
- make
- if [ $? -ne 0 ]; then
- echo "-----> Plugin compile failed."
- exit
- fi
- cd ..
- fi
-done
+make -j4 -f Makefile.plugins
if [ $? -eq 0 ]; then
echo "-----> Plugin installation sucessful."
--
GitLab