mirror of
https://github.com/jart/cosmopolitan.git
synced 2025-07-07 19:58:30 +00:00
Perform some more touchups to toolchain
This commit is contained in:
parent
d1b937bf1d
commit
2366848db5
16 changed files with 9 additions and 39 deletions
|
@ -6,7 +6,7 @@ COSMOS=${COSMOS:-/opt/cosmos}
|
|||
TOOL="$COSMO/o/third_party/gcc/bin/x86_64-linux-musl-objdump"
|
||||
|
||||
if [ ! -x "$TOOL" ]; then
|
||||
echo "$0: you need to run: cosmocc --update" >&2
|
||||
echo "$0: you need to run: x86_64-unknown-cosmo-cc --update" >&2
|
||||
exit 1
|
||||
fi
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue