Avoid .sh file extension

This commit is contained in:
Robin Gareus 2022-12-03 15:03:44 +01:00
parent 30efb2f178
commit 1736b1d424
No known key found for this signature in database
GPG key ID: A090BCE02CF57F04
3 changed files with 5 additions and 5 deletions

View file

@ -1622,7 +1622,7 @@ def build(bld):
obj = bld(features = 'subst')
obj.source = 'tools/avahi.sh'
obj.target = 'libs/ardour-avahi.sh'
obj.target = 'libs/ardour-avahi'
obj.chmod = Utils.O755
obj.install_path = bld.env['LIBDIR']