summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPatrick Georgi <patrick@georgi-clan.de>2012-03-09 23:02:09 +0100
committerPatrick Georgi <patrick@georgi-clan.de>2012-03-10 14:20:44 +0100
commitc040e476bfe12fb67087b13de86346370c0e1c3e (patch)
tree8461156a66d1058c47fa255ac100f61a376c639c
parent987e883e6a5a48eb7404c81e1eb5fdcfb1107ef7 (diff)
Portability improvement
Makefile.inc uses $( ) syntax on the shell. That's isn't as universal as one would like. Change-Id: I9a8fd511eef7fefc1458d5bae2cd7ef5475b7392 Signed-off-by: Patrick Georgi <patrick@georgi-clan.de> Reviewed-on: http://review.coreboot.org/777 Tested-by: build bot (Jenkins) Reviewed-by: Bernhard Urban <lewurm@gmail.com>
-rw-r--r--Makefile.inc2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.inc b/Makefile.inc
index d36d15f458..86a072ab49 100644
--- a/Makefile.inc
+++ b/Makefile.inc
@@ -225,7 +225,7 @@ lint lint-stable:
grep "^# DESCR:" $$script | sed "s,.*DESCR: *,," ; \
echo ========; \
$$script > $$LINTLOG; \
- if [ `echo $$( wc -l $$LINTLOG ) | cut -d' ' -f1` -eq 0 ]; then \
+ if [ `cat $$LINTLOG | wc -l` -eq 0 ]; then \
printf "success\n\n"; \
else \
echo test failed: ; \