diff options
Diffstat (limited to 'scripts/dev/server.sh')
-rwxr-xr-x | scripts/dev/server.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/scripts/dev/server.sh b/scripts/dev/server.sh index b09a966dd..680ca3d79 100755 --- a/scripts/dev/server.sh +++ b/scripts/dev/server.sh | |||
@@ -1,10 +1,12 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/bash |
2 | 2 | ||
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 |