1SHELL= /bin/sh
2ED= ../obj/ed
3
4all: check
5 @:
6
7check: build test
8 @if grep -h '\*\*\*' errs.o scripts.o; then :; else \
--- 17 unchanged lines hidden --- | 3SHELL= /bin/sh
4ED= ../obj/ed
5
6all: check
7 @:
8
9check: build test
10 @if grep -h '\*\*\*' errs.o scripts.o; then :; else \
--- 17 unchanged lines hidden --- |