Searched refs:PROGNAME (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/tools/seL4/misc/
H A Dstyle-cmake.sh11 PROGNAME=${0##*/}
31 echo "$PROGNAME: fatal error: no output from \"cmake-format --version\""
38 echo "$PROGNAME: fatal error: need version $DESIRED_VERSION of" \
H A Dis-valid-shell-script12 PROGNAME=${0##*/}
16 echo "$PROGNAME: fatal error: $*" >&2
/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dmake-uimage10 PROGNAME=${0##*/}
22 echo "${PROGNAME:-(unknown program)}: $*"
44 $PROGNAME: generate U-Boot payload for ARM platform
47 $PROGNAME OBJCOPY-TOOL ELF-FILE ARCHITECTURE OUTPUT-FILE
49 $PROGNAME uses objcopy, readelf (both from GNU binutils), and mkimage
/seL4-test-master/
H A Dgriddle21 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"
[all...]
/seL4-test-master/tools/seL4/cmake-tool/
H A Dgriddle21 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"
[all...]

Completed in 41 milliseconds