diff options
Diffstat (limited to 'scripts/dev/server.sh')
-rwxr-xr-x | scripts/dev/server.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/scripts/dev/server.sh b/scripts/dev/server.sh index 187a1843e..680ca3d79 100755 --- a/scripts/dev/server.sh +++ b/scripts/dev/server.sh | |||
@@ -3,8 +3,10 @@ | |||
3 | set -eu | 3 | set -eu |
4 | 4 | ||
5 | if [ ! -f "./client/dist/en-US/index.html" ]; then | 5 | if [ ! -f "./client/dist/en-US/index.html" ]; then |
6 | echo "client/dist/en-US/index.html does not exist, compile client files..." | 6 | if [ -z ${1+x} ] || [ "$1" != "--skip-client" ]; then |
7 | npm run build:client -- --light | 7 | echo "client/dist/en-US/index.html does not exist, compile client files..." |
8 | npm run build:client -- --light | ||
9 | fi | ||
8 | fi | 10 | fi |
9 | 11 | ||
10 | # Copy locales | 12 | # Copy locales |