diff options
Diffstat (limited to 'doc/ThornGuide/Makefile')
| -rw-r--r-- | doc/ThornGuide/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/ThornGuide/Makefile b/doc/ThornGuide/Makefile index aa76bcc6..f827a65c 100644 --- a/doc/ThornGuide/Makefile +++ b/doc/ThornGuide/Makefile @@ -4,8 +4,12 @@ # make THORNS="CactusWave/IDScalarWave,CactusWave/WaveToyF77" ARRANGEMENTS="CactusBase,CactusPUGHIO" +# backwards compatibility for VERBOSE=yes (SILENT=no) +ifeq ($(shell echo $(strip $(SILENT)) | tr '[:upper:]' '[:lower:]'),no) +VERBOSE = yes +endif # Make quietly unless told not to -ifneq ($(strip $(SILENT)),no) +ifneq ($(shell echo $(strip $(VERBOSE)) | tr '[:upper:]' '[:lower:]'),yes) .SILENT: endif |