2018-06-29 13:46:10 +00:00
|
|
|
--- a/include/subdir.mk 2018-06-29 15:42:35.249190676 +0200
|
|
|
|
|
+++ b/include/b/include/subdir.mk 2018-06-29 15:42:42.373119326 +0200
|
|
|
|
|
@@ -43,7 +43,6 @@
|
2018-05-10 21:10:49 +00:00
|
|
|
$(if $(BUILD_LOG), \
|
|
|
|
|
set -o pipefail; \
|
|
|
|
|
mkdir -p $(BUILD_LOG_DIR)/$(1)$(if $(4),/$(4));) \
|
2018-06-29 13:46:10 +00:00
|
|
|
- env time -f "time: $(1)$(if $(4),/$(4))/$(if $(3),$(3)-)$(2)\#%U\#%S\#%e" -- \
|
2018-05-10 21:10:49 +00:00
|
|
|
$$(SUBMAKE) $(subdir_make_opts) $(if $(3),$(3)-)$(2) \
|
|
|
|
|
$(if $(BUILD_LOG),SILENT= 2>&1 | tee $(BUILD_LOG_DIR)/$(1)$(if $(4),/$(4))/$(if $(3),$(3)-)$(2).txt)
|
|
|
|
|
|
