diff options
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 |