fix install_dependencies.sh: it's ok if the dependencies folder exist…

…s but is empty
EBIvariation · Feb 5, 2020 · 439f940 · 439f940
1 parent 5af5327
commit 439f940
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/install_dependencies.sh b/install_dependencies.sh
@@ -63,8 +63,8 @@ fi
 dependencies_dir=$OS_NAME"_dependencies"
 
 #check for already downloaded files
-if [ -d "$dependencies_dir" ]; then
-  echo "ERROR: Found directory of a previous installation: \"$dependencies_dir\". Please remove the folder before running this script. Current contents:"
+if [ "$(ls -A $dependencies_dir)" ]; then
+  echo "ERROR: Found non-empty directory of a previous installation: \"$dependencies_dir\". Please remove the folder before running this script. Current contents:"
   ls $dependencies_dir
   exit 0
 fi