#!/bin/bash

echo ""
echo "Deleting local repositories."
echo ""
sudo make flush
echo ""