Create time/pause sub-directories in ./build

Even when the Makefile doesn't use them, the run.sh script does.

diff --git a/Makefile b/Makefile
index 38cd2f793a0a937b5a6f33d79d7346c9a7be4b12..c2bd3eaa8ca83430dd3f9c69061c60da48f95995 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -23,7 +23,7 @@ P_LN   = @printf '   LN    %- 40s <-  %s\n' '$@' '$<';
 endif
 
 # create build directories if they don't already exist
-dummy_mkdir := $(shell mkdir -p $O $O/bin $O/stats)
+dummy_mkdir := $(shell mkdir -p $O $O/bin $O/time $O/stats $O/pause)
 
 
 ########################################################