diff options
author | 2018-07-04 18:06:15 +0200 | |
---|---|---|
committer | 2018-07-04 18:06:15 +0200 | |
commit | 26a2202974b7db8d8281456cfd251209b1e6e4cc (patch) | |
tree | 01607b7fe9e5bba02aa97643a5c7cbd56d0489ae | |
parent | 3033d31d7776f3d54dc0dd38d963c79fd3e0e9b2 (diff) |
make build: fix output log file name
Change-Id: I599c268f62914289584a504ac3d3ceb667bb006c
Signed-off-by: Stephane Desneux <stephane.desneux@iot.bzh>
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -93,7 +93,7 @@ build: INSTALL/flavours/$(FLAVOUR).tasks @echo "FLAVOUR=$(FLAVOUR)" >INSTALL/flavour.conf @docker build --no-cache=true --rm --pull -t $(IMAGE_NAME) . \ | awk 'BEGIN { t0=systime();t1=t0; }{t=systime(); printf("[%s|%3ds] %s\n",strftime("%H:%M:%S",t-t0,1),t-t1,$$0); t1=systime(); fflush();}' \ - | tee build_$(FLAVOUR)_debug.log + | tee build_$(FLAVOUR).log @rm -f INSTALL/flavour.conf @docker images |