. ../functions.sh
-make -j | grep -vE '(^make\[.*\]|-local$)' > passes
+make -j | grep -E '^(include-pass|library-pass|binary-pass)' | tee passes
cat passes|uniq > passes.uniq
LINES_UNIQ=`cat passes.uniq|wc -l`
cat passes|sort|uniq > passes.sort.uniq
LINES_SORT_UNIQ=`cat passes.sort.uniq|wc -l`
+trap 'rm passes.sort.uniq passes.uniq' EXIT
+
if [ x"$LINES_UNIQ" != x"$LINES_SORT_UNIQ" ]; then
echo "=== passes.uniq ==="
cat passes.uniq