diff --git a/contrib/dist/linux/openmpi.spec b/contrib/dist/linux/openmpi.spec index 3a7ba33500..61aa53bc6d 100644 --- a/contrib/dist/linux/openmpi.spec +++ b/contrib/dist/linux/openmpi.spec @@ -615,7 +615,7 @@ test "x$RPM_BUILD_ROOT" != "x" && rm -rf $RPM_BUILD_ROOT %if !%{sysconfdir_in_prefix} %{_sysconfdir} %endif -# If %{instal_in_opt}, then we're instaling OMPI to +# If %{install_in_opt}, then we're instaling OMPI to # /opt/openmpi/. But be sure to also explicitly mention # /opt/openmpi so that it can be removed by RPM when everything under # there is also removed.