misc repo sync fix

2023-09-19 09:27:11 +01:00 · 2023-09-19 09:27:11 +01:00 · a7cb99b864
commit a7cb99b864
parent 6c736cac48
1 changed files with 1 additions and 1 deletions
--- a/external-misc.sh
+++ b/external-misc.sh
@ -37,7 +37,7 @@ cd ./manticoutput

 cd ../

-if [ $(ls ./output/ | wc -l) -lt 1 ]; then
+if [ $(ls ./manticoutput/ | wc -l) -lt 1 ]; then
    echo "Mantic repos are synced"
    exit 0
 fi