1 files changed, 6 insertions, 1 deletions
diff --git a/build_single.sh b/build_single.sh
index b935421..0309a28 100755
--- a/build_single.sh
+++ b/build_single.sh
@@ -55,7 +55,12 @@ fi
 cd $(dirname $0)
 WDIR=$PWD
 pushd contrib/depends
-    env -i PATH="$PATH" CC=gcc CXX=g++ make "$NPROC" HOST="$HOST_ABI"
+    if [[ -d $HOST_ABI ]];
+    then
+        echo "Not building depends, directory exists"
+    else
+        env -i PATH="$PATH" CC=gcc CXX=g++ make "$NPROC" HOST="$HOST_ABI"
+    fi
 popd
 
 buildType=Debug