#!/bin/sh
# Kludge to strip out the pesky "X is OK" messages from make's output.
# Pipe the stdout+stderr to this script

grep -v 'is up to date' 2>&1 | grep -v 'Nothing to be done for' | grep -v '\<Make '