quarantine list: code cleanup

[pmg-gui.git] / Makefile

diff --git a/Makefile b/Makefile
index 1f54c32bb0d7971977336214ad96acada41f6a2d..d42e29cfc523e90945e9e62e25b3f47147c5ad47 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -54,9 +54,9 @@ distclean: clean
        rm -f examples/simple-demo.pem
 
 .PHONY: lint
-lint:
-       $(MAKE) -C js/ lint
-       #$(MAKE) -C js/mobile lint
+check:
+       $(MAKE) -C js/ check
+       $(MAKE) -C js/mobile check
 
 clean:
        make -C js clean