#!/bin/bash gcc="$MENES_CXX" if [ "$gcc" = "" ]; then gcc="gcc" fi $gcc -E -dM - "$@" < /dev/null