diff options
| author | Simon John <git@the-jedi.co.uk> | 2019-06-12 20:28:02 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-12 20:28:02 +0100 |
| commit | cf5d016746c82e72c501ee10dfd55be6bf937d83 (patch) | |
| tree | 53102c9be34ae88974a0ed336ec388b32f9e7fc8 /Arduino.mk | |
| parent | 3817dbeb2847cb33173063c6d4488bfdc18aafbb (diff) | |
| parent | dafdaafabd7929391cf5e0b21509f22bedae5ae4 (diff) | |
Merge pull request #605 from szeder/quiet-0
Show the configuration when ARDUINO_QUIET=0
Diffstat (limited to 'Arduino.mk')
| -rw-r--r-- | Arduino.mk | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -241,6 +241,9 @@ arduino_output = # running for the first time (i.e., not after a restart after # regenerating the dependency file), then output the configuration. ifndef ARDUINO_QUIET + ARDUINO_QUIET = 0 +endif +ifeq ($(ARDUINO_QUIET),0) ifeq ($(MAKE_RESTARTS),) ifeq ($(MAKELEVEL),0) arduino_output = $(info $(1)) |
