set CM_PATHCONFIG=%SMLNJ_HOME%\lib\pathconfig
REM We rely on the first argument being @SMLboot=whatever.
"%SMLNJ_HOME%\bin\.run\run.x86-win32.exe" %1 %2 %3 %4 %5 %6 %7 %8 %9