diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-05-15 10:58:20 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-05-15 10:58:20 -0700 |
commit | 997ae359174d383de47cdb0decadc9a2d906f430 (patch) | |
tree | 3c553e7eb81c5bb5b347015b06eb2402f6b44934 /tools/shared.py | |
parent | 354a88d763284fae92a59d311f8562542ad10a97 (diff) | |
parent | 2b2add48545101de5776c9b26701245c43a8fcb0 (diff) |
Merge pull request #426 from ehsan/em-config
Add the em-config tool
Diffstat (limited to 'tools/shared.py')
-rw-r--r-- | tools/shared.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index c864f623..b8dc8221 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -125,6 +125,7 @@ EMAR = path_from_root('emar') EMLD = path_from_root('emld') EMRANLIB = path_from_root('emranlib') EMLIBTOOL = path_from_root('emlibtool') +EMCONFIG = path_from_root('em-config') EMMAKEN = path_from_root('tools', 'emmaken.py') AUTODEBUGGER = path_from_root('tools', 'autodebugger.py') BINDINGS_GENERATOR = path_from_root('tools', 'bindings_generator.py') |