#!/bin/bash

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