Searched refs:run_hevea_name (Results 1 – 4 of 4) sorted by relevance
1386 run_hevea_cmd="$run_hevea_name"1416 error 1 "$run_hevea_name exited with bad status, quitting."
1388 run_hevea_cmd="$run_hevea_name"1418 error 1 "$run_hevea_name exited with bad status, quitting."