diff options
Diffstat (limited to 'Makefile')
-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 |