add autoPatchelfIgnoreMissingDeps to auto-patchelf.sh

2020-06-22 10:41:35 +02:00
parent 9c3a585731
commit c8c09b7dda
2 changed files with 4 additions and 1 deletions
@@ -141,7 +141,7 @@ autoPatchelfFile() {
    # This makes sure the builder fails if we didn't find a dependency, because
    # the stdenv setup script is run with set -e. The actual error is emitted
    # earlier in the previous loop.
-    [ $depNotFound -eq 0 ]
+    [ $depNotFound -eq 0 -o -n "$autoPatchelfIgnoreMissingDeps" ]

    if [ -n "$rpath" ]; then
        echo "setting RPATH to: $rpath" >&2