diff make/Makefile @ 2055:99ad52189524

Refactorings to get towards less CRI overhead.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Thu, 13 Jan 2011 17:45:17 +0100
parents 2d26b0046e0d
children 5d801e6b9a80
line wrap: on
line diff