From e58800158a392d6403de4d5a1ba5d4cf24e516e8 Mon Sep 17 00:00:00 2001 From: Daniel Shahaf Date: Wed, 9 Aug 2017 18:42:35 +0000 Subject: [PATCH] #440: Identify the output. Useful when using, e.g., Debian's package, which outputs just "Debian" here. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 8754db1..6cc2648 100644 --- a/Makefile +++ b/Makefile @@ -36,7 +36,7 @@ clean: rm -f docs/all.md test: - @$(ZSH) -fc 'echo $$ZSH_PATCHLEVEL' + @$(ZSH) -fc 'echo ZSH_PATCHLEVEL=$$ZSH_PATCHLEVEL' @result=0; \ for test in highlighters/*; do \ if [ -d $$test/test-data ]; then \