nightly-build.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/nightly-build.sh

blob: 93f05655805b6873ce8888b546b2f4d33333e87e (plain)

#!/bin/sh -x

cd `dirname $0`;

./repo-remove.sh
./repo-create.sh

./pki-update.sh
./pki-build.sh

#./tet-update.sh
./tet-trim.sh
./tet-run.sh