Changeset 2673

Show
Ignore:
Timestamp:
05/06/08 09:14:58 (7 months ago)
Author:
pebenito
Message:

tools: updates

Files:

Legend:

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

    r2439 r2673  
    11#!/bin/bash 
    22 
    3 DISTROS="rhel4 gentoo debian
     3DISTROS="rhel4 gentoo ubuntu
    44TYPES="standard mcs mls" 
    55ILKS="strict targeted" 
  • tools/quicktest.sh

    r2439 r2673  
    6666} 
    6767 
     68[ -z "$1" ] \ 
     69        && distro="redhat" \ 
     70        || d 
     71 
    6872cleanup_mon 
    6973cleanup_mod 
    70 do_test redhat 
     74 
     75if [ -z "$1" ]; then 
     76        do_test redhat 
     77else 
     78        do_test $1 
     79fi 
    7180 
    7281echo "Completed successfully."