Searched refs:VALUE (Results 1 - 3 of 3) sorted by relevance

/seL4-test-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-test-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...]
/seL4-test-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.

Completed in 108 milliseconds