>>323
#!/bin/sh -f
make $*|grep -v 'Nothing to be done'