Home
last modified time | relevance | path

Searched refs:start_shell (Results 1 – 1 of 1) sorted by relevance

/libCEED/benchmarks/
H A Dbenchmark.sh25 start_shell=""
180 start_shell="yes"
276 if [[ "$start_shell" = "yes" ]]; then