diff --git a/make/defs-dist.mk b/make/defs-dist.mk
index bf8fea85..1e687345 100644
--- a/make/defs-dist.mk
+++ b/make/defs-dist.mk
@@ -64,3 +64,4 @@ USE_COMPILER_DEBUG_OPTS = true
 USE_COMPILER_OPTIMIZATION_OPTS = true
 #USE_TRACING           = true
 #USE_TIMER             = true
+