osmith submitted this change.

View Change

contrib/jenkins: remove previous build dir

Change-Id: I13ed287fc3d5710cf0a9b6abe0d5f8b89402160b
---
M contrib/jenkins.sh
1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 702eea3..e24d71a 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -1,5 +1,6 @@
 #!/bin/sh -ex
 
+rm -rf build
 mkdir build
 cd build
 cmake ..

To view, visit change 40226. To unsubscribe, or for help writing mail filters, visit settings.