diff options
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:]) + |