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

/barrelfish-master/usr/eclipseclp/Shm/src/
H A Dconfigure135 for as_base in sh bash ksh sh5; do
138 if ("$as_dir/$as_base" -c '
146 CONFIG_SHELL=$as_dir/$as_base
6020 for as_base in sh bash ksh sh5; do
6023 if ("$as_dir/$as_base" -c '
6031 CONFIG_SHELL=$as_dir/$as_base
/barrelfish-master/usr/eclipseclp/
H A Dconfigure220 for as_base in sh bash ksh sh5; do
222 as_shell=$as_dir/$as_base

Completed in 209 milliseconds