diff Makefile @ 14541:bef9d6dc2333

Clarify confusing error message.
author diego
date Wed, 19 Jan 2005 18:24:53 +0000
parents 577c16f551ad
children 8260cd3c585c
line wrap: on
line diff