X-Git-Url: https://git.proxmox.com/?a=blobdiff_plain;f=js%2FMakefile;h=78f2b575cb558160667dcd2b870c642d88025a58;hb=c3209035f15a81ba9bfcf7990eeb12f55c1d787a;hp=082d94c330adc32cef94220adaacaa7a61227914;hpb=02b57c1cda486a07ffbdc0865c501d76145b413b;p=pmg-gui.git diff --git a/js/Makefile b/js/Makefile index 082d94c..78f2b57 100644 --- a/js/Makefile +++ b/js/Makefile @@ -1,3 +1,5 @@ +include ../defines.mk + JSSRC= \ Utils.js \ FilterProxy.js \ @@ -106,7 +108,7 @@ OnlineHelpInfo.js: /usr/bin/asciidoc-pmg mv $@.tmp $@ .lint-incremental: $(JSSRC) - eslint $? + $(ESLINT) $? touch "$@" .PHONY: lint @@ -114,7 +116,7 @@ lint: .lint-incremental .PHONY: check check: $(JSSRC) - eslint --strict $(JSSRC) + $(ESLINT) --strict $(JSSRC) touch ".lint-incremental" pmgmanagerlib.js: OnlineHelpInfo.js $(JSSRC)