Ports: Added build script to build all ports

Use the option clean to clean up the working directory/downloads before building:
 ./build_all.sh clean

1 files changed, 35 insertions, 0 deletions

diff --git a/Ports/build_all.sh b/Ports/build_all.sh
new file mode 100755
index 0000000000..1b40296ed3
--- /dev/null
+++ b/Ports/build_all.sh
@@ -0,0 +1,35 @@
+#!/bin/bash
+
+clean=false
+case "$1" in
+    clean)
+        clean=true
+        ;;
+    *)
+        ;;
+esac
+
+some_failed=false
+
+for file in *; do
+    if [ -d $file ]; then
+        pushd $file > /dev/null
+            dirname=$(basename $file)
+            if [ "$clean" == true ]; then
+                ./package.sh clean_all > /dev/null 2>&1
+            fi
+            if $(./package.sh > /dev/null 2>&1 ); then
+                echo "Built ${dirname}."
+            else
+                echo "ERROR: Built ${dirname} not succesful!"
+                some_failed=true
+            fi
+        popd > /dev/null
+    fi
+done
+
+if [ "$some_failed" == false ]; then
+    exit 0
+else
+    exit 1
+fi
\ No newline at end of file