Searched refs:ARM_GCC (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/tools/arm_molly/
H A Dbuild_molly_image.sh17 ARM_GCC=$(which arm-linux-gnueabi-gcc)
31 echo " --gcc <gcc binary> (default: $ARM_GCC)"
61 shift; ARM_GCC="$1"
108 elif [ -z "$ARM_GCC" ]; then
172 $ARM_GCC -std=c99 -g -fPIC -pie -Wl,-N -fno-builtin \

Completed in 75 milliseconds