| commit | 6087339d3a19bbeb113f09210ec90d8aaf61b2d9 | [log] [tgz] |
|---|---|---|
| author | bigbiff <bigbiff@teamw.in> | Mon Mar 23 15:41:27 2020 -0400 |
| committer | bigbiff <bigbiff@teamw.in> | Mon Mar 23 15:41:27 2020 -0400 |
| tree | 792e13860c4ce7d58accd25a9b82ee88af4510d0 | |
| parent | d95dcd207ccd02b2485f2ae0749b69544796d54e [diff] [blame] |
prebuilts: don't try to relink again if source is unavailable
diff --git a/prebuilt/relink.sh b/prebuilt/relink.sh index 3fa627f..4b29a7e 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