
correctly use strlen(char *) instead of sizeof(char *) Thanks Georg Geiser for reporting this issue. Refs. open-mpi/ompi#7772 Signed-off-by: Gilles Gouaillardet <gilles@rist.or.jp>
correctly use strlen(char *) instead of sizeof(char *) Thanks Georg Geiser for reporting this issue. Refs. open-mpi/ompi#7772 Signed-off-by: Gilles Gouaillardet <gilles@rist.or.jp>