Changeset 2117

Show
Ignore:
Timestamp:
11/28/06 11:57:27 (2 years ago)
Author:
pebenito
Message:

fix test scripts

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • tools/buildtest.sh

    r1912 r2117  
    3232                [ ! -z "$1" ] && OPTS="$OPTS DISTRO=$1" 
    3333                echo "**** Options: $OPTS ****" 
    34                 echo -ne "\33]0;mon $i $1\007" 
     34                echo -ne "\033]0;mon $i $1\007" 
    3535                make $OPTS conf || die "$?" "$OPTS" 
    3636                make $OPTS || die "$?" "$OPTS" 
    …… 
    4444                [ ! -z "$1" ] && OPTS="$OPTS DISTRO=$1" 
    4545                echo "**** Options: $OPTS ****" 
    46                 echo -ne "\33]0;mod $i $1\007" 
     46                echo -ne "\033]0;mod $i $1\007" 
    4747                make $OPTS conf || die "$?" "$OPTS" 
    4848                make $OPTS base || die "$?" "$OPTS" 

  • tools/quicktest.sh

    r1912 r2117  
    3131                [ ! -z "$1" ] && OPTS="$OPTS DISTRO=$1" 
    3232                echo "**** Options: $OPTS ****" 
    33                 echo -ne "\33]0;mon $i $1\007" 
     33                echo -ne "\033]0;mon $i $1\007" 
    3434                make $OPTS conf || die "$?" "$OPTS" 
    3535                make $OPTS || die "$?" "$OPTS" 
    …… 
    4343                [ ! -z "$1" ] && OPTS="$OPTS DISTRO=$1" 
    4444                echo "**** Options: $OPTS ****" 
    45                 echo -ne "\33]0;mod $i $1\007" 
     45                echo -ne "\033]0;mod $i $1\007" 
    4646                make $OPTS conf || die "$?" "$OPTS" 
    4747                make $OPTS base || die "$?" "$OPTS"