~erock/pico

pico/scripts/gccwrap.sh -rwxr-xr-x 168 bytes
845894e7Eric Bower fix(feeds): wrong id for inline content section 2 days ago
                                                                                
1
2
3
4
5
6
7
8
9
#!/bin/bash

if [[ "$GOARCH" == "arm64" ]]; then
	GCC_ARCH="aarch64"
elif [[ "$GOARCH" == "amd64" ]]; then
	GCC_ARCH="x86_64"
fi

exec "${GCC_ARCH}-linux-gnu-gcc" "$@"