diff options
Diffstat (limited to 'midi_maps/wscript')
-rw-r--r-- | midi_maps/wscript | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/midi_maps/wscript b/midi_maps/wscript deleted file mode 100644 index ec2e65316a..0000000000 --- a/midi_maps/wscript +++ /dev/null @@ -1,17 +0,0 @@ -#!/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 |