diff options
author | Robin Gareus <robin@gareus.org> | 2016-02-23 15:44:41 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2016-02-23 15:44:41 +0100 |
commit | 1473c2d36460707f6484fe5a0f1d913fbb8a77e0 (patch) | |
tree | 407cb23481530549e333fcc4fce8959f7d314a15 /scripts/wscript | |
parent | 942471d21f0acbb833849873bba2eb8254c4d28d (diff) |
Add some lua scripts
Diffstat (limited to 'scripts/wscript')
-rw-r--r-- | scripts/wscript | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/scripts/wscript b/scripts/wscript new file mode 100644 index 0000000000..acf8ae76b4 --- /dev/null +++ b/scripts/wscript @@ -0,0 +1,16 @@ +#!/usr/bin/python + +import os + +top = '.' +out = 'build' + +def configure(conf): + pass + +def build(bld): + scripts = bld.path.ant_glob ('*.lua') + bld.install_files (os.path.join(bld.env['DATADIR'], 'scripts'), scripts) + +def options(opt): + pass |