diff make/defs.make @ 1481:fe69dec9a1ed

Added support for CompileTheWorld.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Mon, 29 Nov 2010 12:01:45 +0100
parents 3908ad124838
children c18cbe5936b8
line wrap: on
line diff