summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--setup.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/setup.sh b/setup.sh
index 88810259aa30..b769a144c51c 100644
--- a/setup.sh
+++ b/setup.sh
@@ -14,6 +14,7 @@ then
install_needed=true
elif [[ "$(cat "$root_version_file")" != "$(cat "$user_version_file")" ]]
then
+ rm -f "$user_version_file"
install_needed=true
fi