diff options
| author | Josh Blum | 2011-07-20 12:00:28 -0700 |
|---|---|---|
| committer | Josh Blum | 2011-07-20 12:00:28 -0700 |
| commit | 72d080886d544b3ac974ed31e9fa526b4fb3036e (patch) | |
| tree | da3822ff3d59270277f805744c2f4318a8db96ec | |
| parent | 08936428827ff801db174e8a2db1cf26ecff857c (diff) | |
| download | gnuradio-72d080886d544b3ac974ed31e9fa526b4fb3036e.tar.gz gnuradio-72d080886d544b3ac974ed31e9fa526b4fb3036e.tar.bz2 gnuradio-72d080886d544b3ac974ed31e9fa526b4fb3036e.zip | |
core: use gendir envvar to optionally generate makfile.gen into the build dir
| -rw-r--r-- | gnuradio-core/src/python/build_utils.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnuradio-core/src/python/build_utils.py b/gnuradio-core/src/python/build_utils.py index c7acf6bd0..90c7978f2 100644 --- a/gnuradio-core/src/python/build_utils.py +++ b/gnuradio-core/src/python/build_utils.py @@ -93,7 +93,7 @@ def output_makefile_fragment (): return # overwrite the source, which must be writable; this should have been # checked for beforehand in the top-level Makefile.gen.gen . - f = open_src ('Makefile.gen', 'w') + f = open (os.path.join (os.environ.get('gendir', os.environ.get('srcdir', '.')), 'Makefile.gen'), 'w') f.write ('#\n# This file is machine generated. All edits will be overwritten\n#\n') output_subfrag (f, 'h') output_subfrag (f, 'i') |