diff options
author | Jonathan A. Kollasch <jakllsch@kollasch.net> | 2011-08-11 14:48:28 -0500 |
---|---|---|
committer | Patrick Georgi <patrick@georgi-clan.de> | 2011-08-14 08:03:55 +0200 |
commit | 4b8f779278fdb85e4207bd1f06c0f90ea81c8069 (patch) | |
tree | 4ebc5691ccccb3c098bdfe0a91b11bf7520cea51 /util | |
parent | f44bb4f4c13c225db8a83460432fa38568365016 (diff) |
crossgcc: invoke buildgcc with bash, instead of relying on #!/bin/bash
Change-Id: I09192e57e2535b2f8f98cabeb755f10c5520c499
Signed-off-by: Jonathan A. Kollasch <jakllsch@kollasch.net>
Reviewed-on: http://review.coreboot.org/151
Reviewed-by: Patrick Georgi <patrick@georgi-clan.de>
Tested-by: build bot (Jenkins)
Diffstat (limited to 'util')
-rw-r--r-- | util/crossgcc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/util/crossgcc/Makefile b/util/crossgcc/Makefile index 31f66569dd..8fe9c54cd8 100644 --- a/util/crossgcc/Makefile +++ b/util/crossgcc/Makefile @@ -1,11 +1,11 @@ all: build build: - ./buildgcc + bash ./buildgcc .PHONY: build-without-gdb build-without-gdb: - ./buildgcc --skip-gdb + bash ./buildgcc --skip-gdb clean: rm -rf xgcc |