(check-dejagnu): New target.
(check): Depend on check-dejagnu and check-nondejagnu, and move
	all dependencies to one of those targets.