prebuilts: don't try to relink again if source is unavailable

2020-03-23 15:41:27 -04:00
parent d95dcd207c
commit 6087339d3a
1 changed files with 6 additions and 1 deletions
@@ -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