This commit is contained in:
Chris PeBenito 2005-12-07 16:42:33 +00:00
parent c0626aa492
commit 686f1347b2
2 changed files with 5 additions and 3 deletions

View File

@ -1,7 +1,6 @@
#!/bin/bash #!/bin/bash
#DISTROS="redhat gentoo debian suse" DISTROS="redhat gentoo debian suse"
DISTROS="redhat"
TYPES="strict strict-mls strict-mcs targeted targeted-mls targeted-mcs" TYPES="strict strict-mls strict-mcs targeted targeted-mls targeted-mcs"
POLVER="`checkpolicy -V |cut -f 1 -d ' '`" POLVER="`checkpolicy -V |cut -f 1 -d ' '`"
SETFILES="/usr/sbin/setfiles" SETFILES="/usr/sbin/setfiles"
@ -15,6 +14,7 @@ do_test() {
OPTS="TYPE=$i QUIET=@ DIRECT_INITRC=y" OPTS="TYPE=$i QUIET=@ DIRECT_INITRC=y"
[ ! -z "$1" ] && OPTS="$OPTS DISTRO=$1" [ ! -z "$1" ] && OPTS="$OPTS DISTRO=$1"
echo "**** Options: $OPTS ****" echo "**** Options: $OPTS ****"
echo -ne "\33]0;mon $i $1\007"
make $OPTS conf || exit 1 make $OPTS conf || exit 1
make $OPTS || exit 1 make $OPTS || exit 1
make $OPTS file_contexts || exit 1 make $OPTS file_contexts || exit 1
@ -25,10 +25,11 @@ do_test() {
OPTS="TYPE=$i MONOLITHIC=n QUIET=@ DIRECT_INITRC=y" OPTS="TYPE=$i MONOLITHIC=n QUIET=@ DIRECT_INITRC=y"
[ ! -z "$1" ] && OPTS="$OPTS DISTRO=$1" [ ! -z "$1" ] && OPTS="$OPTS DISTRO=$1"
echo "**** Options: $OPTS ****" echo "**** Options: $OPTS ****"
echo -ne "\33]0;mod $i $1\007"
make $OPTS conf || exit 1 make $OPTS conf || exit 1
make $OPTS all || exit 1 make $OPTS all || exit 1
mv base.pp tmp mv base.pp tmp
$SE_LINK tmp/base.pp *.pp || exit 1 # $SE_LINK tmp/base.pp *.pp || exit 1
make $OPTS bare || exit 1 make $OPTS bare || exit 1
done done
} }

View File

@ -13,6 +13,7 @@ do_test() {
[ ! -z "$1" ] && OPTS="$OPTS DISTRO=$1" [ ! -z "$1" ] && OPTS="$OPTS DISTRO=$1"
make bare || exit 1 make bare || exit 1
echo "**** Options: $OPTS ****" echo "**** Options: $OPTS ****"
echo -ne "\33]0;$i $1\007"
make $OPTS conf || exit 1 make $OPTS conf || exit 1
make $OPTS || exit 1 make $OPTS || exit 1
make $OPTS file_contexts || exit 1 make $OPTS file_contexts || exit 1