mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2024-09-21 12:19:03 +03:00
make public if it doesn't exist before serving
This commit is contained in:
parent
78fd68b285
commit
1966878cbc
@ -1,6 +1,8 @@
|
||||
#!/usr/bin/env bash
|
||||
set -euo pipefail
|
||||
|
||||
if ! test -d public; then make public; fi
|
||||
|
||||
# start a web server
|
||||
./script/serve.sh public &
|
||||
SERVER_PID=$!
|
||||
|
Loading…
Reference in New Issue
Block a user