1# $OpenBSD: Makefile,v 1.1 2013/07/06 23:06:36 espie Exp $
2
3REGRESS_TARGETS = check1
4
5check1: nm1.out
6	diff -I 'OpenBSD' -u nm1.out ${.CURDIR}/nm1.ref
7
8nm1.out: nm1.o
9	nm -C nm1.o | fgrep witness | sort | sed -e 's/.* T witness_//' >$@
10
11CLEANFILES = *.o *.out
12
13.include <bsd.regress.mk>
14