diff options
author | Alon Zakai <alonzakai@gmail.com> | 2011-11-15 10:21:50 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2011-11-15 10:21:50 -0800 |
commit | f154768666373f7346a46aceed8cea603f276d49 (patch) | |
tree | 577cd73f8a27b526683a114e78f1ec786136d862 /tools/emconfiguren.py | |
parent | 59612a8c0bb801c604542f6b7f560a8bfa5380cd (diff) |
emconfiguren script and refactor Building
Diffstat (limited to 'tools/emconfiguren.py')
-rwxr-xr-x | tools/emconfiguren.py | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tools/emconfiguren.py b/tools/emconfiguren.py new file mode 100755 index 00000000..abe41564 --- /dev/null +++ b/tools/emconfiguren.py @@ -0,0 +1,15 @@ +#!/usr/bin/env python + +''' +This is a helper script for emmaken.py. See docs in that file for more info. +''' + +import os, sys + +__rootpath__ = os.path.abspath(os.path.dirname(os.path.dirname(__file__))) +def path_from_root(*pathelems): + return os.path.join(__rootpath__, *pathelems) +exec(open(path_from_root('tools', 'shared.py'), 'r').read()) + +Building.configure(sys.argv[1:]) + |