#!/bin/sh # This is the default, but let's make sure. export SAGE_INSTALL_GCC=no