From 6087339d3a19bbeb113f09210ec90d8aaf61b2d9 Mon Sep 17 00:00:00 2001
From: bigbiff <bigbiff@teamw.in>
Date: Mon, 23 Mar 2020 15:41:27 -0400
Subject: [PATCH] prebuilts: don't try to relink again if source is unavailable

---
 prebuilt/relink.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/prebuilt/relink.sh b/prebuilt/relink.sh
index 3fa627f9..4b29a7e1 100755
--- a/prebuilt/relink.sh
+++ b/prebuilt/relink.sh
@@ -1,9 +1,14 @@
-#!/bin/bash -x
+#!/bin/bash
 
 process_file()
 {
     dst=$1/$(basename $2)
     src=$2
+
+    if [ ! -e $src ]; then
+      return
+    fi
+
     if [ $dst == $src ]; then
       cp -f -p $src $src.tmp
       src=$2.tmp