Julien Nicoulaud
7 роки тому
Не вдалося знайти GPG ключ що відповідає даному підпису
Ідентифікатор GPG ключа: D713C40AA20BF77D
1 змінених файлів з
1 додано та
1 видалено
-
Makefile
|
|
@ -36,7 +36,7 @@ clean: |
|
|
|
rm -f docs/all.md |
|
|
|
|
|
|
|
test: |
|
|
|
@$(ZSH) --version |
|
|
|
@$(ZSH) -fc 'echo $$ZSH_PATCHLEVEL' |
|
|
|
@result=0; \
|
|
|
|
for test in highlighters/*; do \
|
|
|
|
if [ -d $$test/test-data ]; then \
|
|
|
|