Cross Reference: /seL4-test-master/tools/seL4/cmake-tool/griddle

441     FLAG=$1
443     if echo "$GETOPT_FLAGS" | egrep -q "(^|.+:)?$FLAG(:.+|$)?"
457     FLAG=$1
460     # Use eval to interpolate $FLAG into a shell variable which should have been
465     eval TYPE=\$VAR_${FLAG}_TYPE
473             fail "\"$FLAG\" only supports values of \"ON\" or \"OFF\""
484         die "unsupported configuration variable type \"$TYPE\" (\"$FLAG\")"
542         FLAG=
561                 fail "configuration option \"$FLAG\" must be given a value"
565                 if validate_parameter "$FLAG" "$VALUE"
567                     CMAKE_ARGS=$CMAKE_ARGS" -D$FLAG=$VALUE"
579         if [ "$FLAG" = "PLATFORM" ]