diff install-sh @ 24:b416b9b9dc38

Remove garbage configure message about GCCARGS
author Adam Chlipala <adam@chlipala.net>
date Mon, 17 Jan 2011 16:07:24 -0500
parents 3c209338e596
children
line wrap: on
line diff