#440: Identify the output.

Useful when using, e.g., Debian's package, which outputs just "Debian" here.
This commit is contained in:
Daniel Shahaf 2017-08-09 18:42:35 +00:00
parent 871041a939
commit e58800158a

View file

@ -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 \