#!/bin/sh

TICO_HOME=/usr/local/tico

if [ -d ${TICO_HOME} ]; then
    rm -r ${TICO_HOME}
fi

mkdir  ${TICO_HOME}