Move linting out of tools/make-nodejs.sh (#3803)

This commit is contained in:
Manish Jethani 2021-08-05 00:10:20 +05:30 committed by GitHub
parent e86a4cee87
commit 4ea0d134ad
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 6 deletions

View File

@ -1,4 +1,4 @@
.PHONY: all clean install chromium firefox nodejs install-nodejs-link install-nodejs uninstall-nodejs
.PHONY: all clean lint install chromium firefox nodejs install-nodejs-link install-nodejs uninstall-nodejs
sources := $(wildcard src/* src/*/* src/*/*/* src/*/*/*/*)
platform := $(wildcard platform/* platform/*/*)
@ -44,6 +44,11 @@ install-nodejs: dist/build/uBlock0.nodejs.tgz
uninstall-nodejs:
npm uninstall '@gorhill/ubo-core' --no-save
lint: nodejs
eslint -c platform/nodejs/eslintrc.json \
dist/build/uBlock0.nodejs/js \
dist/build/uBlock0.nodejs/*.js
# Update submodules.
update-submodules:
tools/update-submodules.sh

View File

@ -56,11 +56,6 @@ cp platform/nodejs/*.js $DES/
cp platform/nodejs/*.json $DES/
cp LICENSE.txt $DES/
# Ignore eslint when building with GitHub Actions
if [ -z "$GITHUB_REF" ]; then
eslint -c platform/nodejs/eslintrc.json $DES/js $DES/*.js
fi
if [ "$1" = all ]; then
echo "*** uBlock0.nodejs: Creating plain package..."
pushd $(dirname $DES/) > /dev/null