Updated bin/install.cmd. [skip ci]

sireum · Jan 9, 2025 · 3f2dc95 · 3f2dc95
1 parent 9123f13
commit 3f2dc95
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/install.cmd b/bin/install.cmd
@@ -99,7 +99,7 @@ echo.
 echo Please wait while downloading https://github.com/sireum/rolling/releases/download/misc/7zz-%P7ZZ_V%-cosmo-%COSMOCC_V%.com to %USERPROFILE%\Downloads ...
 curl -JLso "%USERPROFILE%\Downloads\7zz-%P7ZZ_V%-cosmo-%COSMOCC_V%.com" https://github.com/sireum/rolling/releases/download/misc/7zz-%P7ZZ_V%-cosmo-%COSMOCC_V%.com || goto :error
 echo.
-cd /d "%PDIR"
+cd /d "%PDIR%"
 echo Extracting sireum-%DISTRO%-win-%ARCH%-%SIREUM_V%.7z ...
 "%USERPROFILE%\Downloads\7zz-%P7ZZ_V%-cosmo-%COSMOCC_V%.com" x "%USERPROFILE%\Downloads\sireum-%DISTRO%-win-%ARCH%-%SIREUM_V%.7z" >nul || goto :error
 echo.