view clean.sh @ 37:bb4bbf380938

Added option PRIVATE_KEY_FILE to read private key from file
author Ivo Smits <Ivo@UCIS.nl>
date Mon, 06 May 2013 21:28:45 +0200
parents d621348448de
children
line wrap: on
line source

#!/bin/sh
echo Cleaning up...
rm -rf out obj debian/data tmp