#!/bin/bash if [ -n "$MAKE_TARGET" ]; then make "$MAKE_TARGET"; else make; fi;