diff options
author | Robin Gareus <robin@gareus.org> | 2020-02-23 15:26:48 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2020-02-23 16:21:55 +0100 |
commit | 54c4d3adc5f0cea54457df04af44397825fc2679 (patch) | |
tree | f73f78a3090dac4eeba87eb04657279997a70da3 /share/midi_maps/wscript | |
parent | 96ef1dc0ed9862bf4937d182f789edd20c17581f (diff) |
Clean up top-level source tree
Collect architecture independent data in 'share' subfolder.
This also matches the install path
Diffstat (limited to 'share/midi_maps/wscript')
-rw-r--r-- | share/midi_maps/wscript | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/share/midi_maps/wscript b/share/midi_maps/wscript new file mode 100644 index 0000000000..ec2e65316a --- /dev/null +++ b/share/midi_maps/wscript @@ -0,0 +1,17 @@ +#!/usr/bin/python + +import os + +top = '.' +out = 'build' + +def configure(conf): + pass + +def build(bld): + maps = bld.path.ant_glob ('*.map') + bld.install_files (os.path.join(bld.env['DATADIR'], 'midi_maps'), + maps) + +def options(opt): + pass |