diff options
| author | Robert Günzler <r@gnzler.io> | 2025-11-13 18:27:56 +0100 |
|---|---|---|
| committer | Robert Günzler <r@gnzler.io> | 2026-04-09 11:13:48 +0900 |
| commit | 76c2a3166667f76fe115705bacc274ed82eb4778 (patch) | |
| tree | 87c8e8b09bde992608de40fb5a393f1bdbb7ba5f | |
| parent | 7e2ff3adf7626bdd18a1d5065ec9be9ffa4d114a (diff) | |
also run generate on sv reload
Signed-off-by: Robert Günzler <r@gnzler.io>
| -rwxr-xr-x | bin/sv | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/sv b/bin/sv index 4a7e976..a4ac3eb 100755 --- a/bin/sv +++ b/bin/sv @@ -33,7 +33,8 @@ main() { export LIVE_DIR="$l" export STATE_DIR="$confdir" export SOURCE_DIR="$confdir/src" - exec /opt/svtree/bin/svtree-compile + /opt/svtree/bin/svtree-generate + /opt/svtree/bin/svtree-compile ;; ## |