Skip to content

Commit

Permalink
fix install_dependencies.sh: it's ok if the dependencies folder exist…
Browse files Browse the repository at this point in the history
…s but is empty
  • Loading branch information
jmmut committed Feb 5, 2020
1 parent 5af5327 commit 439f940
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions install_dependencies.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 439f940

Please sign in to comment.