config.default.toolchain.set(
	"cflags", config.default.toolchain.cflags
#	"cflags", config.default.toolchain.cflags + ['-ggdb']
)

import os
tsar_path = os.environ['TSARPATH']
config.addDescPath(tsar_path + "/branches/fault_tolerance/module")
config.addDescPath(tsar_path + "/branches/fault_tolerance/lib")