Lines Matching refs:PROGNAME
21 PROGNAME=${0##*/}
87 echo "${PROGNAME:-(unknown program)}: $BOLD$*$NORMAL"
243 "${NORMAL}this project may not yet support \"$PROGNAME\""
377 $PROGNAME: easy cooking with CMake
379 $PROGNAME eases the setup of seL4-related builds by exposing only the most
382 $PROGNAME --help
385 $PROGNAME [--compiler={gcc|llvm}] [CMAKE-CONFIGURATION-VARIABLE] ...
386 $PROGNAME --help
387 $PROGNAME --platform-help
500 --name "$PROGNAME" -- "$@")
603 notice "try \"$PROGNAME --help\" for option usage"