x86_64-linux-gnu-gnatkr • help

Note: help and version output are generated by a naïve script which tries a few variants of <command> --help, <command> -h etc. to find the command's help and version info. Sometimes it gets lucky, sometimes it doesn't; if the output below looks wrong, it probably is.

x86_64-linux-gnu-gnatkr --version (return code: 0)

GNATKR 7.2.0 Copyright (C) 1992-2017, Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

x86_64-linux-gnu-gnatkr --help (return code: 0)

Report bugs to report@adacore.com Usage: gnatkr filename[.extension] [krunch-count]

x86_64-linux-gnu-gnatkr • help

x86_64-linux-gnu-gnatkr • help

x86_64-linux-gnu-gnatkr --version (return code: 0)

x86_64-linux-gnu-gnatkr --help (return code: 0)

Path