From 0b71415be976eb6c40831899b89c9cbbe30c2b93 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 31 Mar 2020 13:19:53 +0100
Subject: [PATCH] Install script (install.sh) was failing if "tmp" exists.

---
 prism/install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/install.sh b/prism/install.sh
index 09bbbeb7..dd90e5c4 100755
--- a/prism/install.sh
+++ b/prism/install.sh
@@ -16,7 +16,7 @@ fi
 if [ ! "$1" = "silent" ] ; then
     echo "Installing PRISM (directory=$PRISM_DIR)"
 fi
-TEMP_FILE=tmp
+TEMP_FILE="tmp$RANDOM"
 # Search for the scripts that should be changed
 # We exclude:
 #  - Windows .BAT files