Searched refs:test_num (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD1409 test_num=$1
1411 set_test_params $test_num
1424 echo "Running test $test_num ($install_type/$package_type/$test_embedding) on $machine." | tee -a $LOCAL_TEST_LOGFILE
1435 echo TEST_${test_num}_successful=$run_test_result
1440 echo "Test $test_num ($install_type/$package_type/$test_embedding) on $machine successful." | tee -a $LOCAL_TEST_LOGFILE
1442 echo "Test $test_num ($install_type/$package_type/$test_embedding) on $machine failed." | tee -a $LOCAL_TEST_LOGFILE
1452 for test_num in $tests ; do
1453 run_test $test_num || test_machine_result=1

Completed in 65 milliseconds