summaryrefslogtreecommitdiff
path: root/platform/linux/wscript
diff options
context:
space:
mode:
authorCarl Hetherington <cth@carlh.net>2020-04-26 20:29:28 +0200
committerCarl Hetherington <cth@carlh.net>2020-04-26 20:29:28 +0200
commitf903aa596b1bd8f030f4150b86bde54f15d1aa1d (patch)
tree7a4063acea384267ea514da9cafde2270a552571 /platform/linux/wscript
parent58cd2db060abaa879e05f612b73f497ee7b37a71 (diff)
Add missing creation of .desktop file for disk tool.
Diffstat (limited to 'platform/linux/wscript')
-rw-r--r--platform/linux/wscript8
1 files changed, 8 insertions, 0 deletions
diff --git a/platform/linux/wscript b/platform/linux/wscript
index d21d8b1bf..0fc593f56 100644
--- a/platform/linux/wscript
+++ b/platform/linux/wscript
@@ -29,6 +29,14 @@ def build(bld):
obj.VERSION = bld.env.VERSION
desktops.append(obj.target)
+ if bld.env.ENABLE_DISK:
+ obj = bld(features='subst')
+ obj.source = 'dcpomatic_disk.desktop.in'
+ obj.target = 'dcpomatic2_disk.desktop'
+ obj.INSTALL_PREFIX = bld.env.INSTALL_PREFIX
+ obj.VERSION = bld.env.VERSION
+ desktops.append(obj.target)
+
obj = bld(features='subst')
obj.source = 'dcpomatic_player.desktop.in'
obj.target = 'dcpomatic2_player.desktop'