OK, this is what it has in the MAME section, so I’m good, right? It’s using mame4all?

    <system>
        <fullname>MAME</fullname>
        <name>mame</name>
        <path>~/RetroPie/roms/mame</path>
        <extension>.zip .ZIP</extension>
        <command>/opt/retropie/supplementary/runcommand/runcommand.sh 4 "/opt/retropie/emulators/mame4all-pi/mame %BASENAME%"</command>
        <!-- alternatively: <command>/opt/retropie/emulators/RetroArch/installdir/bin/retroarch -L /opt/retropie/emulatorcores/imame4all-libretro/libretro.so --config /opt/retropie/configs/all/retroarch.cfg --appendconfig /opt/retropie/configs/mame/retroarch.cfg %ROM% </command> -->
        <platform>arcade</platform>
        <theme>mame</theme>
    </system>