diff options
| author | Joris | 2025-04-19 14:02:54 +0200 |
|---|---|---|
| committer | Joris | 2025-04-19 14:02:54 +0200 |
| commit | d4b48491cfaafaee5e7c9c88227055fd884d60f4 (patch) | |
| tree | 49be96db72e1cc8dcfcc128b3b7d5286e16180c7 /frontend/bin/dev-server | |
| parent | 632eef6424d8dc8d40c2906177892697679e7b85 (diff) | |
Add build command
Diffstat (limited to 'frontend/bin/dev-server')
| -rwxr-xr-x | frontend/bin/dev-server | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/bin/dev-server b/frontend/bin/dev-server index 4819033..3601105 100755 --- a/frontend/bin/dev-server +++ b/frontend/bin/dev-server @@ -1,6 +1,8 @@ #!/usr/bin/env bash set -euo pipefail +export IS_DEV_SERVER=1 + # Killing watchexec ourselves, it may not be done otherwise. function finish { if [ -n "${LIVE_SERVER_PID:-}" ]; then |