Searched refs:BASH_SOURCE (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/proofcount/
H A Dinstall.sh12 DIR=$( cd "$( dirname "$BASH_SOURCE[0]}" )" && pwd)
/seL4-l4v-10.1.1/l4v/tools/c-parser/
H A Dmkrelease42 CPARSER_DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure2717 BASH_ARGV | BASH_SOURCE) eval $ac_var= ;; #(
22537 BASH_ARGV | BASH_SOURCE) eval $ac_var= ;; #(
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure2508 BASH_ARGV | BASH_SOURCE) eval $ac_var= ;; #(
19404 BASH_ARGV | BASH_SOURCE) eval $ac_var= ;; #(

Completed in 120 milliseconds