Searched refs:VALUE (Results 1 - 4 of 4) sorted by path

/seL4-camkes-master/tools/rumprun/app-tools/
H A Drumprun92 [-dip] [-b blkspec] [-D port] [-e VAR[=VALUE]] [-g args]
101 -e set environment VAR to VALUE
/seL4-camkes-master/
H A Dgriddle197 VALUE=$*
198 NEW_WIDTH=${#VALUE}
458 VALUE=$2
469 case "$VALUE" in
543 VALUE=
554 VALUE=$2
557 case "${VALUE:-}" in
565 if validate_parameter "$FLAG" "$VALUE"
567 CMAKE_ARGS=$CMAKE_ARGS" -D$FLAG=$VALUE"
581 case "$VALUE" i
[all...]
/seL4-camkes-master/projects/musllibc/
H A Dconfigure5 Usage: $0 [OPTION]... [VAR=VALUE]... [TARGET]
8 VAR=VALUE. See below for descriptions of some of the useful variables.
/seL4-camkes-master/tools/seL4/cmake-tool/
H A Dgriddle197 VALUE=$*
198 NEW_WIDTH=${#VALUE}
458 VALUE=$2
469 case "$VALUE" in
543 VALUE=
554 VALUE=$2
557 case "${VALUE:-}" in
565 if validate_parameter "$FLAG" "$VALUE"
567 CMAKE_ARGS=$CMAKE_ARGS" -D$FLAG=$VALUE"
581 case "$VALUE" i
[all...]

Completed in 60 milliseconds