#!/bin/sh

PATH=`echo $PATH | sed - -e 's@'$PIPS_BINPATH'@@g'`
pips-gcc $*