tet-trim.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/tet-trim.sh

blob: 8b6f5fc1bfb346fa0b1aa573bb12b8c4a37bad5c (plain)

#!/bin/sh -x

SRC_DIR=`cd ../.. ; pwd`
TET_DIR=$SRC_DIR/tet

cd $TET_DIR/results
rm -rf `ls | head -n -5`