[uiuc_igb_scripts.git] / run_make

#!/bin/bash

if [ -n "$MAKE_TARGET" ]; then
    make "$MAKE_TARGET";
else
    make;
fi;