diff options
| -rw-r--r-- | round-robin.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/round-robin.sh b/round-robin.sh index 297e4646..77c56572 100644 --- a/round-robin.sh +++ b/round-robin.sh @@ -226,12 +226,14 @@ prepare_abe () exec ccache /usr/bin/gcc "\$@" EOF chmod +x "$(pwd)/bin/gcc" + cp "$(pwd)/bin/gcc" "$(pwd)/bin/cc" cat > "$(pwd)/bin/g++" <<EOF #!/bin/sh exec ccache /usr/bin/g++ "\$@" EOF chmod +x "$(pwd)/bin/g++" + cp "$(pwd)/bin/g++" "$(pwd)/bin/c++" PATH=$(pwd)/bin:$PATH export PATH |