diff TOOLS/Makefile @ 23132:d5db3f1f79b1

Add configures arguments to its output
author cehoyos
date Fri, 27 Apr 2007 10:16:25 +0000
parents d8cfd3a1300e
children f579fc609048
line wrap: on
line diff