diff options
author | Robin Gareus <robin@gareus.org> | 2016-08-10 03:12:11 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2016-08-10 03:12:11 +0200 |
commit | a8143ea44e83a87fb6a9500d59409a14a94ad655 (patch) | |
tree | 3aac8610dc26fb63abd4cc1c7afe864714a2f408 /scripts/wscript | |
parent | 2b7a89ecffa92a616cd61774d42bea1e99db6f79 (diff) |
prefix no-inst script with an underscore and skip install
Diffstat (limited to 'scripts/wscript')
-rw-r--r-- | scripts/wscript | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/wscript b/scripts/wscript index acf8ae76b4..e7c31d6f67 100644 --- a/scripts/wscript +++ b/scripts/wscript @@ -9,7 +9,8 @@ def configure(conf): pass def build(bld): - scripts = bld.path.ant_glob ('*.lua') + scripts = bld.path.ant_glob ('*.lua', excl=['^_*']) + print scripts bld.install_files (os.path.join(bld.env['DATADIR'], 'scripts'), scripts) def options(opt): |