repo-remove.sh « scripts - pki-dev.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/scripts/repo-remove.sh

blob: 998adc326b57678b50297e428f90c2c193ba5e42 (plain)

#!/bin/sh -x

SRC_DIR=`cd ../.. ; pwd`

rm -rf $SRC_DIR/repo