Merge "Update Ubuntu 14.04 mininet images"

[releng/builder.git] / jjb / integration / include-raw-integration-cleanup-tmp.sh

diff --git a/jjb/integration/include-raw-integration-cleanup-tmp.sh b/jjb/integration/include-raw-integration-cleanup-tmp.sh
index f1e8255f95ea607a1c2c7754e363f8b4d2ecd4c4..f7c12b2fa7236f63b17cc42ebc013751ef863d02 100644 (file)
--- a/jjb/integration/include-raw-integration-cleanup-tmp.sh
+++ b/jjb/integration/include-raw-integration-cleanup-tmp.sh
@@ -1,6 +1,7 @@
+#!/bin/bash
 echo "Cleaning up Robot installation..."
 
 # ${ROBOT_VENV} comes from the include-raw-integration-install-robotframework.sh
 # script.
 # TODO: Is this still needed when we have integration-cleanup-workspace?
-rm -rf ${ROBOT_VENV}
+rm -rf "${ROBOT_VENV}"