| Index: third_party/instrumented_libraries/download_build_install.py
|
| diff --git a/third_party/instrumented_libraries/download_build_install.py b/third_party/instrumented_libraries/download_build_install.py
|
| index ddaed7732f6e2c6554427db053887eb327d2df4e..7452043590985d7a3fe0c3ea08ebfece1d13d1e8 100755
|
| --- a/third_party/instrumented_libraries/download_build_install.py
|
| +++ b/third_party/instrumented_libraries/download_build_install.py
|
| @@ -95,7 +95,7 @@ def destdir_configure_make_install(parsed_arguments, environment,
|
| # Installing to a temporary directory allows us to safely clean up the .la
|
| # files below.
|
| destdir = '%s/debian/instrumented_build' % os.getcwd()
|
| - # Some makefiles use BUILDROOT instead of DESTDIR.
|
| + # Some makefiles use BUILDROOT or INSTALL_ROOT instead of DESTDIR.
|
| make_command = 'make DESTDIR=%s BUILDROOT=%s INSTALL_ROOT=%s' % (destdir,
|
| destdir,
|
| destdir)
|
|
|