| 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 7452043590985d7a3fe0c3ea08ebfece1d13d1e8..7fddba236d5ec5e0637dc269622f134a93eaa803 100755
|
| --- a/third_party/instrumented_libraries/download_build_install.py
|
| +++ b/third_party/instrumented_libraries/download_build_install.py
|
| @@ -223,6 +223,7 @@ def libpci3_make_install(parsed_arguments, environment, install_prefix):
|
| # Now move the contents of the temporary destdir to their final place.
|
| run_shell_commands([
|
| 'cp %s/* %s/ -rd' % (destdir, install_prefix),
|
| + 'mkdir -p %s/lib/' % install_prefix,
|
| 'install -m 644 lib/libpci.so* %s/lib/' % install_prefix,
|
| 'ln -sf libpci.so.%s %s/lib/libpci.so.3' % (version, install_prefix)],
|
| parsed_arguments.verbose, environment)
|
|
|