summaryrefslogtreecommitdiff
path: root/wscript
diff options
context:
space:
mode:
Diffstat (limited to 'wscript')
-rw-r--r--wscript4
1 files changed, 2 insertions, 2 deletions
diff --git a/wscript b/wscript
index 5375272182..ea6e5e4ec9 100644
--- a/wscript
+++ b/wscript
@@ -222,9 +222,9 @@ VERSION = sanitize(V)
PROGRAM_VERSION = sanitize(MAJOR)
del sanitize
-if len (sys.argv) > 1 and sys.argv[1] == 'dist':
+if any(arg in ('dist', 'distcheck') for arg in sys.argv[1:]):
if not 'APPNAME' in os.environ:
- print ("You must define APPNAME in the environment when running ./waf dist")
+ print ("You must define APPNAME in the environment when running ./waf dist/distcheck")
sys.exit (1)
APPNAME = os.environ['APPNAME'];