#!/bin/bash if [ "$CC" = "gcc" ]; then export CC="gcc-4.8"; fi if [ "$CXX" = "g++" ]; then export CXX="g++-4.8"; fi
