diff options
| author | Robert Günzler <r@gnzler.io> | 2025-11-13 18:27:56 +0100 |
|---|---|---|
| committer | Robert Günzler <r@gnzler.io> | 2025-11-13 18:28:52 +0100 |
| commit | 888663b28ea2c1458c80d5fa000b99865724cae4 (patch) | |
| tree | 0038b6216975e75704b335d987d55ef6d521af61 | |
| parent | 2ae18a51742952b58bd78573463edeef068b5702 (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 ;; ## |