diff options
| -rwxr-xr-x | scripts/nightly-build.sh | 4 | ||||
| -rwxr-xr-x | scripts/pki-build.sh | 2 | ||||
| -rwxr-xr-x | scripts/repo-create.sh | 6 | ||||
| -rwxr-xr-x | scripts/repo-remove.sh | 3 | ||||
| -rwxr-xr-x | scripts/tet-trim.sh | 7 |
5 files changed, 18 insertions, 4 deletions
diff --git a/scripts/nightly-build.sh b/scripts/nightly-build.sh index 1970834..93f0565 100755 --- a/scripts/nightly-build.sh +++ b/scripts/nightly-build.sh @@ -2,8 +2,12 @@ cd `dirname $0`; +./repo-remove.sh +./repo-create.sh + ./pki-update.sh ./pki-build.sh #./tet-update.sh +./tet-trim.sh ./tet-run.sh diff --git a/scripts/pki-build.sh b/scripts/pki-build.sh index 95ba1e3..b3c21f1 100755 --- a/scripts/pki-build.sh +++ b/scripts/pki-build.sh @@ -6,8 +6,6 @@ ./core-uninstall.sh ./theme-uninstall.sh -./repo-remove.sh - ./theme-build.sh ./theme-install.sh diff --git a/scripts/repo-create.sh b/scripts/repo-create.sh new file mode 100755 index 0000000..9e783fd --- /dev/null +++ b/scripts/repo-create.sh @@ -0,0 +1,6 @@ +#!/bin/sh -x + +SRC_DIR=`cd ../.. ; pwd` + +cd $SRC_DIR +mkdir -p repo diff --git a/scripts/repo-remove.sh b/scripts/repo-remove.sh index 9e783fd..998adc3 100755 --- a/scripts/repo-remove.sh +++ b/scripts/repo-remove.sh @@ -2,5 +2,4 @@ SRC_DIR=`cd ../.. ; pwd` -cd $SRC_DIR -mkdir -p repo +rm -rf $SRC_DIR/repo diff --git a/scripts/tet-trim.sh b/scripts/tet-trim.sh new file mode 100755 index 0000000..8b6f5fc --- /dev/null +++ b/scripts/tet-trim.sh @@ -0,0 +1,7 @@ +#!/bin/sh -x + +SRC_DIR=`cd ../.. ; pwd` +TET_DIR=$SRC_DIR/tet + +cd $TET_DIR/results +rm -rf `ls | head -n -5` |