diff options
| -rw-r--r-- | Makefile.commands | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.commands b/Makefile.commands index 96f0af1..2a02252 100644 --- a/Makefile.commands +++ b/Makefile.commands @@ -7,7 +7,7 @@ check-system: @$(COMMANDS_DIR)/check-system $(ARGS) pull: - @$(COMMANDS_DIR)/pull + @$(COMMANDS_DIR)/pull $(ARGS) build: @$(TIME) $(COMMANDS_DIR)/build $(ARGS) |