blob: ec6dcfddf8204434e37d9439a2445e22d33d3dec [file] [log] [blame]
Ray Milkey5d35f9c2018-04-02 08:54:51 -07001#!/bin/bash
2# -----------------------------------------------------------------------------
3# Cleans up /tmp if a local copy of the routing repo was created
4# -----------------------------------------------------------------------------
5
6
7routing="$1"
8
9[ ! -d "$routing" ] && echo "routing source tree not found" >&2 && exit 1
10
11if [[ $routing = *"/tmp/routing."* ]]; then
12 rm -rf $routing
13fi