blob: ec6dcfddf8204434e37d9439a2445e22d33d3dec [file] [log] [blame]
#!/bin/bash
# -----------------------------------------------------------------------------
# Cleans up /tmp if a local copy of the routing repo was created
# -----------------------------------------------------------------------------
routing="$1"
[ ! -d "$routing" ] && echo "routing source tree not found" >&2 && exit 1
if [[ $routing = *"/tmp/routing."* ]]; then
rm -rf $routing
fi