From 8e49d8a8488b0b9ec1ad689ad09662e6917d02a5 Mon Sep 17 00:00:00 2001
From: Jason Rivers <jason@dyalog.com>
Date: Fri, 13 Feb 2015 16:15:53 +0000
Subject: [PATCH] Added a clean option to cleanup the vagrant system

---
 vagrantbuild.sh | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/vagrantbuild.sh b/vagrantbuild.sh
index 899bc6cb..b5ea4aea 100755
--- a/vagrantbuild.sh
+++ b/vagrantbuild.sh
@@ -10,9 +10,16 @@ if ! [ "`vagrant status | grep running |head -1`" ]; then
  ./vagrantfiles/provision.sh
 fi
 
-vagrant ssh -c "cp -Ruv /RideJS \$HOME/RideJS"
+if [ "$1" = "clean" ]; then
+  echo "Cleaning Files"
+  ./clean.sh
+  vagrant ssh -c "rm -Rf \$HOME/RideJS"
+fi
+  echo "Copying Files"
+vagrant ssh -c "cp -Ruv /RideJS \$HOME/"
+  echo "Building"
 vagrant ssh -c "cd \$HOME/RideJS && . dist.sh"
-vagrant ssh -c "cp -Ruv \$HOME/RideJS/build /RideJS/build"
+vagrant ssh -c "cp -Ruv \$HOME/RideJS/build /RideJS/"
 
 case `uname` in
     Linux)