[pve-devel] [PATCH widget-toolkit 1/1] use 'pve-eslint' instead of 'eslint'

Dominik Csapak d.csapak at proxmox.com
Thu Jun 22 10:31:15 CEST 2023


since we changed the binary name

Signed-off-by: Dominik Csapak <d.csapak at proxmox.com>
---
 src/Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Makefile b/src/Makefile
index 7cff5dd..d312308 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -110,14 +110,14 @@ all: $(SUBDIRS)
 	set -e && for i in $(SUBDIRS); do $(MAKE) -C $$i; done
 
 .lint-incremental: $(JSSRC)
-	eslint $?
+	pve-eslint $?
 	touch "$@"
 
 .PHONY: lint
 check: lint
-	eslint --strict api-viewer/APIViewer.js
+	pve-eslint --strict api-viewer/APIViewer.js
 lint: $(JSSRC)
-	eslint --strict $(JSSRC)
+	pve-eslint --strict $(JSSRC)
 	touch ".lint-incremental"
 
 BUILD_TIME=$(or $(SOURCE_DATE_EPOCH),$(shell date '+%s.%N'))
-- 
2.30.2






More information about the pve-devel mailing list