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

/seL4-test-master/
H A Dgriddle179 TYPE=$1
249 TY_WIDTH=0 # $TYPE field width
270 update_field_width TY_WIDTH "$TYPE"
278 if [ "$TYPE" = BOOL ]
288 eval "VAR_${CONFIG_VAR}_TYPE"="$TYPE"
294 OPTIONS=${OPTIONS:+$OPTIONS@@}$CONFIG_VAR@:$TYPE@:$DEFAULT_VALUE@:$DESCRIPTION
296 $CONFIG_VAR is type: $TYPE, default: $DEFAULT_VALUE, $CACHED; $DESCRIPTION"
425 TYPE=${RECORD%%@:*}
432 "--$CONFIG_VAR" "$TYPE" "$DEFAULT_VALUE" "$DESCRIPTION"
465 eval TYPE
[all...]
/seL4-test-master/tools/seL4/cmake-tool/
H A Dgriddle179 TYPE=$1
249 TY_WIDTH=0 # $TYPE field width
270 update_field_width TY_WIDTH "$TYPE"
278 if [ "$TYPE" = BOOL ]
288 eval "VAR_${CONFIG_VAR}_TYPE"="$TYPE"
294 OPTIONS=${OPTIONS:+$OPTIONS@@}$CONFIG_VAR@:$TYPE@:$DEFAULT_VALUE@:$DESCRIPTION
296 $CONFIG_VAR is type: $TYPE, default: $DEFAULT_VALUE, $CACHED; $DESCRIPTION"
425 TYPE=${RECORD%%@:*}
432 "--$CONFIG_VAR" "$TYPE" "$DEFAULT_VALUE" "$DESCRIPTION"
465 eval TYPE
[all...]

Completed in 31 milliseconds