diff options
author | Jason Furmanek <furmanek@us.ibm.com> | 2018-09-26 05:22:04 +0000 |
---|---|---|
committer | Jason Furmanek <furmanek@us.ibm.com> | 2018-09-26 05:22:04 +0000 |
commit | 1668d28ca3558f3bc4fcf94752799712211f219e (patch) | |
tree | f6761a005d800d9bccbcaa9ef3fbc26b59af9506 /configure.py | |
parent | d59678448469ca134875e062f7f8d6d77942af4e (diff) |
fix in last line of set_system_lib_flag
Diffstat (limited to 'configure.py')
-rw-r--r-- | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index 3791ead3ed..b1ab55b657 100644 --- a/configure.py +++ b/configure.py @@ -1471,7 +1471,7 @@ def set_system_libs_flag(environ_cp): if 'LIBDIR' in environ_cp: write_to_bazelrc('build --define=LIBDIR=%s' % environ_cp['LIBDIR']) if 'INCLUDEDIR' in environ_cp: -write_to_bazelrc('build --define=INCLUDEDIR=%s' % environ_cp['INCLUDEDIR']) + write_to_bazelrc('build --define=INCLUDEDIR=%s' % environ_cp['INCLUDEDIR']) def set_windows_build_flags(environ_cp): |