From 631a11cd35dbe816a4f1d92442078dfcf7da83fe Mon Sep 17 00:00:00 2001 From: Karel Miko Date: Wed, 1 Mar 2017 14:00:45 +0100 Subject: [PATCH] removing "checking white spaces" part from build.sh --- build.sh | 5 ----- 1 file changed, 5 deletions(-) diff --git a/build.sh b/build.sh index 82e61ce..94f27bf 100755 --- a/build.sh +++ b/build.sh @@ -3,11 +3,6 @@ echo "$1 ($2, $3)..." make clean 1>/dev/null 2>/dev/null -if [ -f check-source.pl ] ; then - echo "checking white spaces..." - perl check-source.pl || exit 1 -fi - echo -n "building..." if [ -f /proc/cpuinfo ]