diff --git a/Ports/build_all.sh b/Ports/build_all.sh
index 1f69bd3862..9719dd7d48 100755
--- a/Ports/build_all.sh
+++ b/Ports/build_all.sh
@@ -1,10 +1,26 @@
 #!/usr/bin/env bash
 
 clean=false
+verbose=false
+
 case "$1" in
     clean)
         clean=true
         ;;
+    verbose)
+        verbose=true
+        ;;
+    *)
+        ;;
+esac
+
+case "$2" in
+    clean)
+        clean=true
+        ;;
+    verbose)
+        verbose=true
+        ;;
     *)
         ;;
 esac
@@ -16,13 +32,26 @@ for file in *; do
         pushd $file > /dev/null
             dirname=$(basename $file)
             if [ "$clean" == true ]; then
-                ./package.sh clean_all > /dev/null 2>&1
+                if [ "$verbose" == true ]; then
+                    ./package.sh clean_all
+                else
+                    ./package.sh clean_all > /dev/null 2>&1
+                fi
             fi
-            if $(./package.sh > /dev/null 2>&1 ); then
-                echo "Built ${dirname}."
+            if [ "$verbose" == true ]; then
+                if $(./package.sh); then
+                    echo "Built ${dirname}."
+                else
+                    echo "ERROR: Build of ${dirname} was not successful!"
+                    some_failed=true
+                fi
             else
-                echo "ERROR: Build of ${dirname} was not successful!"
-                some_failed=true
+                if $(./package.sh > /dev/null 2>&1); then
+                    echo "Built ${dirname}."
+                else
+                    echo "ERROR: Build of ${dirname} was not successful!"
+                    some_failed=true
+                fi
             fi
         popd > /dev/null
     fi