diff options
author | Andrew Waterman <aswaterman@gmail.com> | 2014-10-04 16:10:02 -0700 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2014-10-18 20:06:03 -0700 |
commit | 13db5cab08e18e852b78dde3451ab6eefd92a3e8 (patch) | |
tree | 9fb8633c8e23198c4b70fd93c8f80cf2cec6c9c5 /scripts | |
parent | 4cdd628c68f02ef186f9046097ab8d67b4d303f1 (diff) | |
download | riscv-gnu-toolchain-13db5cab08e18e852b78dde3451ab6eefd92a3e8.zip riscv-gnu-toolchain-13db5cab08e18e852b78dde3451ab6eefd92a3e8.tar.gz riscv-gnu-toolchain-13db5cab08e18e852b78dde3451ab6eefd92a3e8.tar.bz2 |
glibc: Mac build gets further before failing
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/gawk/awk (renamed from scripts/awk) | 0 | ||||
-rwxr-xr-x | scripts/gsed/sed | 7 |
2 files changed, 7 insertions, 0 deletions
diff --git a/scripts/awk b/scripts/gawk/awk index 89da46f..89da46f 100755 --- a/scripts/awk +++ b/scripts/gawk/awk diff --git a/scripts/gsed/sed b/scripts/gsed/sed new file mode 100755 index 0000000..877fd5d --- /dev/null +++ b/scripts/gsed/sed @@ -0,0 +1,7 @@ +#!/bin/sh + +# We can add the current directory to the front of PATH so that +# sed will invoke gsed (rather than Apple's sed, for example). +# We use this to work around systems with sed != gsed. + +gsed "$@" |