Changeset 2768

Show
Ignore:
Timestamp:
07/31/08 07:37:00 (4 months ago)
Author:
cpebenito
Message:

tools: add version bumping tools.

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • tools/buildtest.sh

    r2673 r2768  
    11#!/bin/bash 
    22 
    3 DISTROS="rhel4 gentoo ubuntu" 
     3DISTROS="redhat rhel4 gentoo debian ubuntu" 
    44TYPES="standard mcs mls" 
    55ILKS="strict targeted" 
     
    77SETFILES="/usr/sbin/setfiles" 
    88SE_LINK="time -p /usr/bin/semodule_link" 
     9 
     10DIRNAME="`dirname $0`" 
     11MODCONF="`ls $DIRNAME/modules*.conf.*`" 
    912 
    1013die() { 
     
    4245                        OPTS="TYPE=$i MONOLITHIC=y QUIET=y DIRECT_INITRC=y" 
    4346                        [ ! -z "$1" ] && OPTS="$OPTS DISTRO=$1" 
    44                         echo "**** Options: $OPTS ****" 
    45                         echo -ne "\033]0;mon $i $j $1\007" 
    46                         make $OPTS conf || die "$?" "$OPTS" 
     47                        [ ! -z "$2" ] && cp "$2" policy/modules.conf 
     48                        echo "**** Options: $OPTS $2 ****" 
     49                        if [ ! -z "$2" ]; then 
     50                                echo -ne "\033]0;mon $i $j $1 $2\007" 
     51                                cp "$2" policy/modules.conf 
     52                        else 
     53                                echo -ne "\033]0;mon $i $j $1 policy/modules.conf\007" 
     54                                make $OPTS conf || die "$?" "$OPTS" 
     55                        fi 
    4756                        set_ilk $j 
    4857                        make $OPTS || die "$?" "$OPTS" 
     
    5564                        OPTS="TYPE=$i MONOLITHIC=n QUIET=y DIRECT_INITRC=y" 
    5665                        [ ! -z "$1" ] && OPTS="$OPTS DISTRO=$1" 
    57                         echo "**** Options: $OPTS ****" 
    58                         echo -ne "\033]0;mod $i $j $1\007" 
    59                         make $OPTS conf || die "$?" "$OPTS" 
     66                        echo "**** Options: $OPTS $2 ****" 
     67                        echo -ne "\033]0;mod $i $j $1 $2\007" 
     68                        if [ ! -z "$2" ]; then 
     69                                echo -ne "\033]0;mon $i $j $1 $2\007" 
     70                                cp "$2" policy/modules.conf 
     71                        else 
     72                                echo -ne "\033]0;mon $i $j $1 policy/modules.conf\007" 
     73                                make $OPTS conf || die "$?" "$OPTS" 
     74                        fi 
    6075                        set_ilk $j 
    6176                        make $OPTS base || die "$?" "$OPTS" 
     
    7590done 
    7691 
     92#for i in $MODCONF; do 
     93#       distro="`echo $i | sed s:$DIRNAME/modules.*\.conf.::`" 
     94#       do_test $distro $i 
     95#done 
     96 
    7797echo "Completed successfully."