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

/seL4-camkes-master/tools/seL4/misc/
H A Dis-valid-shell-script37 DESCRIPTION=$(file -b "$FILE")
39 case "$DESCRIPTION" in
/seL4-camkes-master/
H A Dgriddle181 DESCRIPTION=$*
183 DESCRIPTION=${DESCRIPTION#\"}
184 DESCRIPTION=${DESCRIPTION%\"}
294 OPTIONS=${OPTIONS:+$OPTIONS@@}$CONFIG_VAR@:$TYPE@:$DEFAULT_VALUE@:$DESCRIPTION
296 $CONFIG_VAR is type: $TYPE, default: $DEFAULT_VALUE, $CACHED; $DESCRIPTION"
429 DESCRIPTION=$RECORD
432 "--$CONFIG_VAR" "$TYPE" "$DEFAULT_VALUE" "$DESCRIPTION"
/seL4-camkes-master/tools/seL4/cmake-tool/
H A Dgriddle181 DESCRIPTION=$*
183 DESCRIPTION=${DESCRIPTION#\"}
184 DESCRIPTION=${DESCRIPTION%\"}
294 OPTIONS=${OPTIONS:+$OPTIONS@@}$CONFIG_VAR@:$TYPE@:$DEFAULT_VALUE@:$DESCRIPTION
296 $CONFIG_VAR is type: $TYPE, default: $DEFAULT_VALUE, $CACHED; $DESCRIPTION"
429 DESCRIPTION=$RECORD
432 "--$CONFIG_VAR" "$TYPE" "$DEFAULT_VALUE" "$DESCRIPTION"
/seL4-camkes-master/tools/cogent/cogent/scripts/
H A Dman-gen.pl74 .Sh DESCRIPTION

Completed in 43 milliseconds