From 94f2a499a326e34cc8ca52343f588d4517936c71 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Harter?= <gaetan.harter@fu-berlin.de>
Date: Tue, 7 Aug 2018 16:13:17 +0200
Subject: [PATCH] make: add LAZYSPONGE and LAZYSPONGE_FLAGS variables
---
Makefile.include | 5 +++++
makefiles/vars.inc.mk | 3 +++
2 files changed, 8 insertions(+)
diff --git a/Makefile.include b/Makefile.include
index 5fe885dc90..c16e016de8 100644
--- a/Makefile.include
+++ b/Makefile.include
@@ -186,6 +186,11 @@ ifeq (,$(UNZIP_HERE))
endif
endif
+# Tool saving stdin to a file only on content update.
+# It keeps the file timestamp if it would end up the same.
+LAZYSPONGE ?= $(RIOTTOOLS)/lazysponge/lazysponge.py
+LAZYSPONGE_FLAGS ?= $(if $(filter 1,$(QUIET)),,--verbose)
+
ifeq (, $(APPLICATION))
$(error An application name must be specified as APPLICATION.)
endif
diff --git a/makefiles/vars.inc.mk b/makefiles/vars.inc.mk
index abe8536991..7fc732cd10 100644
--- a/makefiles/vars.inc.mk
+++ b/makefiles/vars.inc.mk
@@ -88,3 +88,6 @@ export DLCACHE # directory used to cache http downloads
export DOWNLOAD_TO_FILE # Use `$(DOWNLOAD_TO_FILE) $(DESTINATION) $(URL)` to download `$(URL)` to `$(DESTINATION)`.
export DOWNLOAD_TO_STDOUT # Use `$(DOWNLOAD_TO_STDOUT) $(URL)` to download `$(URL)` output `$(URL)` to stdout, e.g. to be piped into `tar xz`.
export UNZIP_HERE # Use `cd $(SOME_FOLDER) && $(UNZIP_HERE) $(SOME_FILE)` to extract the contents of the zip file `$(SOME_FILE)` into `$(SOME_FOLDER)`.
+
+export LAZYSPONGE # Command saving stdin to a file only on content update.
+export LAZYSPONGE_FLAGS # Parameters supplied to LAZYSPONGE.
--
GitLab