MT#4957 Die if virtualbox guest addtions ISO is not present but requested

13 years ago · 9380c4d290
parent 6f4bd7067f
commit 9380c4d290
1 changed files with 1 additions and 1 deletions
--- a/deployment.sh
+++ b/deployment.sh
@ -1774,7 +1774,7 @@ vagrant_configuration() {
  fi

  if [ ! -r "$isofile" ] ; then
-    echo "Error: could not find $isofile" >&2
+    die "Error: could not find $isofile" >&2
    echo "TIP:   Make sure to have virtualbox-guest-additions-iso installed."
  fi