From ca1f05897fb22ccdf94e5978f2fab7a96dca978c Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Sat, 6 Jun 2015 22:54:21 +0200 Subject: make grep more robust --- bin/reproducible_common.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin/reproducible_common.sh') diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index d9a9ea12..7e89a028 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -263,7 +263,7 @@ write_explaination_table() { write_page "env TZTZ=\"/usr/share/zoneinfo/Etc/GMT+12\"TZ=\"/usr/share/zoneinfo/Etc/GMT-14\"" write_page "env LANGLANG=\"en_GB.UTF-8\"LANG=\"fr_CH.UTF-8\"" write_page "env LC_ALLunsetLC_ALL=\"fr_CH.UTF-8\"" - local NUM_CPU=$(cat /proc/cpuinfo |grep ^processor|wc -l) + local NUM_CPU=$(cat /proc/cpuinfo |grep '^processor'|wc -l) if [ "$1" = "debian" ] ; then write_page "env PATHPATH=\"/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:\"PATH=\"/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path\"" write_page "env BUILDUSERIDBUILDUSERID=\"1111\"BUILDUSERID=\"2222\"" -- cgit v1.2.3-54-g00ecf