diff options
| author | Carl Hetherington <cth@carlh.net> | 2024-04-09 02:02:28 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2024-04-17 09:36:45 +0200 |
| commit | af20e21e2363f7c4d5f7031c444984f383c26914 (patch) | |
| tree | 072277c1a9c48d81367384d0c0f4a3ae356ce54e /platform/linux/wscript | |
| parent | 39960bc88eee794ade1a73b00523e749945b9eab (diff) | |
Separate GUI verifier with basic reporting (#1823).
Diffstat (limited to 'platform/linux/wscript')
| -rw-r--r-- | platform/linux/wscript | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/linux/wscript b/platform/linux/wscript index 98aff905d..4a3516fd0 100644 --- a/platform/linux/wscript +++ b/platform/linux/wscript @@ -16,6 +16,7 @@ def build(bld): desktop(bld, '_playlist'), desktop(bld, '_combiner'), desktop(bld, '_editor'), + desktop(bld, '_verifier'), ] if bld.env.ENABLE_DISK: |