VERSION: Mark this as the Open MPI PRRTE

Signed-off-by: Jeff Squyres <[email protected]>
open-mpi · Mar 31, 2024 · 1d867e8 · 1d867e8
1 parent 5cde35d
commit 1d867e8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/VERSION b/VERSION
@@ -37,7 +37,7 @@ flex_min_version=2.5.4
 # requirement is that it must be entirely printable ASCII characters
 # and have no white space.
 
-greek=a1
+greek=ompi-a1
 
 # If repo_rev is empty, then the repository version number will be
 # obtained during "make dist" via the "git describe --tags --always"