Shell script for use with Makefiles. Prints out failing commands to make "make -s" more useful. git-svn-id: svn://10.0.0.236/trunk@61726 18797224-902f-48f8-a5cc-f745e15eee43
Shell script for use with Makefiles. Prints out failing commands to make "make -s" more useful. git-svn-id: svn://10.0.0.236/trunk@61726 18797224-902f-48f8-a5cc-f745e15eee43