#!/bin/bash

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