diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4,7 +4,7 @@ COMMANDS_DIR=$(CURDIR)/commands HOME_DIR=$(CURDIR)/home TOOLS_DIR=$(CURDIR)/tools BASE_DIR=$(CURDIR) -TIME=time -f "\n=== time ===\n\nreal\t%e\nuser\t%U\nsys\t%S\n" +TIME=time -f "\n= Time =\n\nreal\t%e\nuser\t%U\nsys\t%S\n" .PHONY: all |