diff options
author | dzwdz | 2023-02-25 18:31:16 +0100 |
---|---|---|
committer | dzwdz | 2023-02-25 18:31:16 +0100 |
commit | 1a1eb66fa0f4e6de6d06d80dae1bdce276fbd294 (patch) | |
tree | bd26d19ec1e7f212c6329969054a2f4196338867 /ports/bin/cc | |
parent | fd9214efa47f721e6d08dd2530efbb40b99c3b7b (diff) |
ports: move to the new toolchain
Diffstat (limited to 'ports/bin/cc')
-rwxr-xr-x | ports/bin/cc | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/ports/bin/cc b/ports/bin/cc deleted file mode 100755 index 8f9a8c0..0000000 --- a/ports/bin/cc +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh -exec x86_64-camellia-gcc -fPIE \ - -nostdlib -Wl,-pie -Wl,-no-dynamic-linker -T $REPO/src/user/linker.ld \ - -I$REPO/src/ -I$REPO/src/shared/include/ -I$REPO/src/user/lib/include/ \ - $* \ - -L$REPO/out/ -lc -lgcc |