diff Makefile @ 18037:3c8aa5261e80

Simplify some checks.
author diego
date Tue, 04 Apr 2006 05:09:12 +0000
parents cb43704389ff
children c9e946b14b44
line wrap: on
line diff