diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-10-14 14:10:22 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-10-14 14:10:22 -0700 |
| commit | a3cd87e4dfdbbfed1a0208242075ee7eccc3de13 (patch) | |
| tree | 68acbdce4924776ac49e6b627cdfb62d13f5fa75 /tools/shared.py | |
| parent | d2bc8b6d4e18ea8d2f65b870c180d6388bdcc1c5 (diff) | |
| parent | bc852739224552dea0f2f3d6a6be13bd17b028b4 (diff) | |
Merge pull request #638 from xrmx/emptyargs
Don't explode in emconfigure if no args are passed
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index 80605b67..236dec55 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -533,6 +533,8 @@ set(CMAKE_FIND_ROOT_PATH_MODE_PACKAGE ONLY)''' % { 'winfix': '' if not WINDOWS e @staticmethod def configure(args, stdout=None, stderr=None, env=None): + if not args: + return if env is None: env = Building.get_building_env() env['EMMAKEN_JUST_CONFIGURE'] = '1' |