ci: separate exec args

nixkj · Jan 14, 2022 · 932279f · 932279f
1 parent 224f785
commit 932279f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ci_script.sh b/ci_script.sh
@@ -17,8 +17,8 @@ case "$1" in
     ;;
 ("webui")
     # TODO: both can only parse one file at a time
-    npm exec --no eslint html/custom.js
-    npm exec --no html-validate html/index.html
+    npm exec --no -- eslint html/custom.js
+    npm exec --no -- html-validate html/index.html
     # checks whether the webui can be built
     ./build.sh -f environments
     # TODO: gzip inserts an OS-dependant byte in the header, ref.