v5.0.x: check-help-strings.pl: skip the 3rd-party directory#12099

wenduwan merged 1 commit intoopen-mpi:v5.0.xopen-mpi/ompi:v5.0.xfrom

jsquyres:pr/v5.0.x/update-check-help-stringsjsquyres/ompi:pr/v5.0.x/update-check-help-stringsCopy head branch name to clipboard