Skip to content

Commit

Permalink
Less verbose output
Browse files Browse the repository at this point in the history
  • Loading branch information
giannozz committed Oct 24, 2021
1 parent 172b636 commit 0731ec4
Showing 1 changed file with 6 additions and 5 deletions.
11 changes: 6 additions & 5 deletions install/makedeps.sh
Original file line number Diff line number Diff line change
Expand Up @@ -135,18 +135,19 @@ for dir in $dirs; do
/bin/rm removedeps.tmp

# check for missing dependencies
if grep @ make.depend
if grep -q @ make.depend
then
notfound=1
echo WARNING: dependencies not found in directory $DIR
echo "\nWARNING! dependencies not found in directory $DIR:"
grep @ make.depend
else
echo directory $DIR : ok
echo -n "\rdirectory $DIR : ok"
fi
else
echo directory $DIR : not present in $TOPDIR
echo "\ndirectory $DIR : not present in $TOPDIR"
fi
done
if test "$notfound" = ""
then
echo all dependencies updated successfully
echo "\nall dependencies updated successfully"
fi

0 comments on commit 0731ec4

Please sign in to comment.