From 4a02800b4d19edac57020676d6c0ed23baafdece Mon Sep 17 00:00:00 2001
From: Donald Buczek <buczek@molgen.mpg.de>
Date: Thu, 11 Mar 2021 13:13:46 +0100
Subject: [PATCH] install.sh: Improve error message when source is missing

---
 install.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/install.sh b/install.sh
index 957c553..10d56d4 100755
--- a/install.sh
+++ b/install.sh
@@ -64,6 +64,8 @@ function install_if()
     local dst="$2"
     shift 2
 
+    true < "$src" || exit 1
+
     if need_update "$src" "$dst"; then
         dir="$(dirname "$dst")"
         test -d "$dir" || mkdir -p "$dir"