diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-02-21 18:32:43 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-02-21 18:32:43 -0800 |
| commit | 941c8e583d603ff4e6b124dc1fe17d03dface233 (patch) | |
| tree | 7c99d80fa861b4ab034cba4502d825b3e9add4da /tools | |
| parent | a23490650c16c4e6b7639920aeeee2ce302a2b61 (diff) | |
| parent | 21f7959f64db7f3309e7f9d0d106abb1ea82f403 (diff) | |
Merge pull request #859 from waywardmonkeys/cmdline-fixes
Cmdline fixes
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/shared.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index 0282fbb1..7fc2b7c2 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -663,6 +663,9 @@ set(CMAKE_FIND_ROOT_PATH_MODE_PACKAGE ONLY)''' % { 'winfix': '' if not WINDOWS e def make(args, stdout=None, stderr=None, env=None): if env is None: env = Building.get_building_env() + if not args: + print >> sys.stderr, 'Error: Executable to run not specified.' + sys.exit(1) #args += ['VERBOSE=1'] try: Popen(args, stdout=stdout, stderr=stderr, env=env).communicate() |