diff --git a/ports/build.sh b/ports/build.sh index 0bbe1155ad..e9e4659fb3 100755 --- a/ports/build.sh +++ b/ports/build.sh @@ -1,10 +1,11 @@ #!/bin/bash -CURRENT_DIR=$(dirname $(realpath $0)) -pushd "$CURRENT_DIR" >/dev/null +cd $(dirname $(realpath $0)) + +if [ ! -f installed ]; then + exit 0 +fi while read port; do ${port}/build.sh done < installed - -popd >/dev/null