diff TOOLS/Makefile @ 15644:64aa04e95424

Add a note to the --help output that explains how our configure works, especially the --enable case that is different from autoconf.
author diego
date Sun, 05 Jun 2005 14:30:16 +0000
parents 03188593a9fe
children 7bae32bc0ed7
line wrap: on
line diff