diff --git a/etc/config.sh/metis b/etc/config.sh/metis index 69618dd27f905601eedbb184ed7d88731c78edea..2904d8b3fa00170f66c81848717154b4e26509ab 100644 --- a/etc/config.sh/metis +++ b/etc/config.sh/metis @@ -34,6 +34,6 @@ #------------------------------------------------------------------------------ export METIS_VERSION=metis-5.1.0 -export METIS_ARCH_PATH=$WM_THIRD_PARTY_DIR/platforms/$WM_ARCH$WM_COMPILER/$METIS_VERSION +export METIS_ARCH_PATH=$WM_THIRD_PARTY_DIR/platforms/$WM_ARCH$WM_COMPILER$WM_LABEL_OPTION/$METIS_VERSION #------------------------------------------------------------------------------