diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2015-08-13 14:32:32 -0400 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2015-08-13 14:32:38 -0400 |
commit | c2d624937020569b5710e7c3ded1cf36cba6b235 (patch) | |
tree | 081ed9f4ebc4bb558799e6517fc2d4dc58b566b1 /wscript | |
parent | 88229c4bef23678c34cac0207b9e87af513f1290 (diff) |
provide a mechanism for ./waf dist to work without hardcoding APPNAME in wscript
Diffstat (limited to 'wscript')
-rw-r--r-- | wscript | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -186,6 +186,13 @@ V = MAJOR + '.' + MINOR + '.' + MICRO VERSION = str (V.encode ('ascii', 'ignore')) PROGRAM_VERSION = str (MAJOR.encode ('ascii', 'ignore')) +if len (sys.argv) > 1 and sys.argv[1] == 'dist': + if not 'APPNAME' in os.environ: + print "You must define APPNAME in the environment when running ./waf dist" + sys.exit (1) + APPNAME = os.environ['APPNAME']; + + # Mandatory variables top = '.' out = 'build' |