Searched refs:prereq_dir (Results 1 – 1 of 1) sorted by relevance
44 local prereq_dir=$250 test_prefix=$(basename "$prereq_dir")54 test_prefix=$(basename $(echo "$prereq_dir" | sed s/speculative//))110 top_srcdir?= `echo "$prereq_dir" | awk '{ gsub(/[^\/]+/, "..", $0); print }'`216 grep -q 'main' "$prereq_dir/$c_file" || echo >&2 "$prereq_dir/$c_file should be test."219 grep -q 'main' "$prereq_dir/$c_file" && echo >&2 "$prereq_dir/$c_file should be run-test."267 prereq_dir=`dirname "$filename"`271 prereq_cache_dir="$prereq_dir"272 elif [ "$prereq_cache_dir" != "$prereq_dir" ]; then278 prereq_cache_dir="$prereq_dir"