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

/barrelfish-master/usr/eclipseclp/Shm/src/
H A Dconfigure59 as_basename=basename
61 as_basename=false
66 as_me=`$as_basename "$0" ||
5943 as_basename=basename
5945 as_basename=false
5950 as_me=`$as_basename "$0" ||
/barrelfish-master/usr/eclipseclp/
H A Dconfigure430 as_basename=basename
432 as_basename=false
441 as_me=`$as_basename -- "$0" ||
9738 as_basename=basename
9740 as_basename=false
9749 as_me=`$as_basename -- "$0" ||

Completed in 101 milliseconds