1
0
mirror of https://github.com/moparisthebest/wget synced 2024-07-03 16:38:41 -04:00

contrib/check-hard: delete trailing whitespaces and repeated word

This commit is contained in:
Giuseppe Scrivano 2014-12-21 14:14:19 +01:00
parent ee196f6fe5
commit 15f18e7606

View File

@ -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"