diff options
-rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -80,7 +80,9 @@ client-install: client fi lint: - ./make-lint $(LINT_OPTIONS) + if [ "$(SKIP_LINT)" != "yes" ]; then \ + ./make-lint $(LINT_OPTIONS); \ + fi test: $(MAKE) -C install/po test_lang |