Skip to content

Instantly share code, notes, and snippets.

View bhargavg's full-sized avatar

Bhargav Gurlanka bhargavg

View GitHub Profile
#!/bin/bash
#
# Faster toolchain build: skips as much as possible.
#
# To use this toolchain from the command line:"
# export TOOLCHAINS=$(whoami)
#
# we build to the same prefix every time (instead of building
# to a versioned prefix) because every time the prefix changes
# *everything* rebuilds.