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) |