From 932279f79fbbd69d9cca7d59e729c959204e3c38 Mon Sep 17 00:00:00 2001
From: Maxim Prokhorov <prokhorov.max@outlook.com>
Date: Fri, 14 Jan 2022 03:57:13 +0300
Subject: [PATCH] ci: separate exec args

---
 ci_script.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ci_script.sh b/ci_script.sh
index 91846cd3..1a5fc058 100755
--- 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.