#!/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
