From 15f18e760647e11846bd2773f6fa7c7c30fcc2bc Mon Sep 17 00:00:00 2001 From: Giuseppe Scrivano Date: Sun, 21 Dec 2014 14:14:19 +0100 Subject: [PATCH] contrib/check-hard: delete trailing whitespaces and repeated word --- contrib/check-hard | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/contrib/check-hard b/contrib/check-hard index cc29541d..49e0d4e7 100755 --- a/contrib/check-hard +++ b/contrib/check-hard @@ -1,5 +1,5 @@ #!/bin/sh -# +# # Do some checking before 'git push'. CORES=`grep -c ^processor /proc/cpuinfo 2>/dev/null || echo 0` @@ -14,7 +14,7 @@ export CFLAGS="-std=c89 -pedantic -O2 -g -Wall -Wextra -Wstrict-prototypes -Wold CACHEFILE=$PWD/config_check.cache -# measure time consumed and and print it at the end of the script +# measure time consumed and print it at the end of the script START=$(date +%s.%N) echo "./bootstrap"