diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2012-03-09 23:02:09 +0100 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2012-03-10 14:20:44 +0100 |
| commit | c040e476bfe12fb67087b13de86346370c0e1c3e (patch) | |
| tree | 8461156a66d1058c47fa255ac100f61a376c639c | |
| parent | 987e883e6a5a48eb7404c81e1eb5fdcfb1107ef7 (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.inc | 2 |
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: ; \ |