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

/seL4-test-master/
H A Dgriddle166 CONFIG_VAR=$1
248 CV_WIDTH=0 # $CONFIG_VAR field with
269 update_field_width CV_WIDTH "$CONFIG_VAR"
280 GETOPT_FLAGS=${GETOPT_FLAGS:+$GETOPT_FLAGS,}$CONFIG_VAR::
282 GETOPT_FLAGS=${GETOPT_FLAGS:+$GETOPT_FLAGS,}$CONFIG_VAR:
285 # Use eval to interpolate $CONFIG_VAR into a shell variable. For
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"
423 CONFIG_VAR
[all...]
/seL4-test-master/tools/seL4/cmake-tool/
H A Dgriddle166 CONFIG_VAR=$1
248 CV_WIDTH=0 # $CONFIG_VAR field with
269 update_field_width CV_WIDTH "$CONFIG_VAR"
280 GETOPT_FLAGS=${GETOPT_FLAGS:+$GETOPT_FLAGS,}$CONFIG_VAR::
282 GETOPT_FLAGS=${GETOPT_FLAGS:+$GETOPT_FLAGS,}$CONFIG_VAR:
285 # Use eval to interpolate $CONFIG_VAR into a shell variable. For
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"
423 CONFIG_VAR
[all...]

Completed in 35 milliseconds