diff --git a/Makefile b/Makefile
index 6bf9e4a4..87fb9244 100644
--- a/Makefile
+++ b/Makefile
@@ -28,4 +28,4 @@ dist:
 	$(MAKE) --directory Source clean
 
 distlog:
-	$(MAKE) dist 2>&1 | tee make.log
+	time -p $(MAKE) dist 2>&1 | tee make.log