TRACES_TOP = ..

# Just defined so that the 'priv' directory exists in GIT.

include $(TRACES_TOP)/GNUmakesettings.inc