comparison make/defs.make @ 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 c7db7adb83b4
children b76d12f4ab2d
comparison
equal deleted inserted replaced
2054:3c0a889a176b 2055:99ad52189524