#!/bin/bash
set -e

# wipe the WORKSPACE
/bin/rm -rf $WORKSPACE

echo "Hello World"