# This configuration assumes the default profile is -vanilla
GCC_SPECS=""