diff mk-opts.pl @ 7809:3af309919efc

Makefile fix for single precision
author David Bateman <dbateman@free.fr>
date Fri, 23 May 2008 09:35:08 +0200
parents edc25a3fb2bc
children cf59d542f33e
line wrap: on
line diff