From 9556f88088e300c731bdfd58e70947e9817d0f51 Mon Sep 17 00:00:00 2001 From: Pierre Labastie Date: Wed, 1 Nov 2017 14:40:09 +0000 Subject: [PATCH] Missing word in a comment --- common/common-functions | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/common/common-functions b/common/common-functions index 6656aca..197bc61 100644 --- a/common/common-functions +++ b/common/common-functions @@ -62,7 +62,7 @@ if [ "${CLEAN}" = "y" ]; then else # Clean the build directory echo -n "Cleaning $BUILDDIR ..." - # First delete proc and sys directories, if exist. + # First delete proc and sys directories, if they exist. # Both should be empty. If not, we exit, and the rmdir command # has generated an error message if [ -d $BUILDDIR/proc ] ; then