#! /bin/sh

# remove line numbers as they just cause larger patches
sed "/: main /s/\(scalar.c\):[0-9]*)/\1)/" |

../filter_stderr "$@"

