diff runtime/CMakeLists.txt @ 845:d128381e086e

Only emit finalbody if there is one. Fixes #147.
author Christian Kamm <kamm incasoftware de>
date Sat, 13 Dec 2008 06:48:00 +0100
parents 1a8c6eedd7fd
children e8337278f49b
line wrap: on
line diff