# -*- Makefile -*- Time-stamp: <08/11/17 21:39:45 ptr>

check0:
	[ "${DESTDIR}" = "" ]

check:
	[ "${DESTDIR}" = "dest" ]

.PHONY:	check0 check
