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

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD1137 test_dir="$ROTD_SUBDIR/$install_name/test.$package_type.$test_embedding.$machine"
1226 if [ -d "$LOCAL_PREFIX/$test_dir" ] || milestone_already_achieved tested_$test_milestone_key ; then
1229 test_dirs="$test_dirs $test_dir"
1323 remote_commands "$machine" "$remote_prefix/$test_dir" "
1351 \"$remote_prefix/$test_dir/test_eclipse\" \
1352 --test-dir \"$remote_prefix/$test_dir\" \
1359 \"$remote_prefix/$test_dir/test_eclipse\" \
1360 --test-dir \"$remote_prefix/$test_dir\" \
1389 while [ ! -d "$test_dir" -a \$timeout -gt 0 ] ; do
1390 echo \"\$machine: $test_dir no
[all...]

Completed in 30 milliseconds