# dejagnu
# Autogenerated from man page /usr/share/man/man1/dejagnu.1
complete -c dejagnu -l help -d 'Print a help message instead of running a command'
complete -c dejagnu -s V -d 'Print a version banner for the launcher itself including the version of DejaG…'
complete -c dejagnu -s v -d 'Emit additional output describing the operation of the dejagnu launcher itself'