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

/seL4-test-master/
H A Dgriddle280 GETOPT_FLAGS=${GETOPT_FLAGS:+$GETOPT_FLAGS,}$CONFIG_VAR::
282 GETOPT_FLAGS=${GETOPT_FLAGS:+$GETOPT_FLAGS,}$CONFIG_VAR:
405 if [ -n "${GETOPT_FLAGS:+flags}" ]
443 if echo "$GETOPT_FLAGS" | egrep -q "(^|.+:)?$FLAG(:.+|$)?"
499 --long "${GETOPT_FLAGS:+$GETOPT_FLAGS,}"compile
[all...]
/seL4-test-master/tools/seL4/cmake-tool/
H A Dgriddle280 GETOPT_FLAGS=${GETOPT_FLAGS:+$GETOPT_FLAGS,}$CONFIG_VAR::
282 GETOPT_FLAGS=${GETOPT_FLAGS:+$GETOPT_FLAGS,}$CONFIG_VAR:
405 if [ -n "${GETOPT_FLAGS:+flags}" ]
443 if echo "$GETOPT_FLAGS" | egrep -q "(^|.+:)?$FLAG(:.+|$)?"
499 --long "${GETOPT_FLAGS:+$GETOPT_FLAGS,}"compile
[all...]

Completed in 89 milliseconds