ECHO Clone Dolphin image environment
git clone -q --branch=master https://github.com/dolphinsmalltalk/Dolphin.git Dolphin

ECHO Copy executables
copy ..\..\Dolphin7.exe Dolphin
copy ..\..\DolphinVM7.dll Dolphin
copy ..\..\DolphinCR7.dll Dolphin
copy ..\..\DolphinDR7.dll Dolphin
copy ..\..\DolphinSureCrypto.dll Dolphin

ECHO Boot and test image
cd Dolphin
Dolphin7 DBOOT.img7 DolphinProfessional
CALL TestDPRO

ECHO Clone Dolphin image environment
git clone -q --branch=master https://github.com/dolphinsmalltalk/Dolphin.git Dolphin

ECHO Copy executables
copy ..\..\Dolphin7.exe Dolphin
copy ..\..\DolphinVM7.dll Dolphin
copy ..\..\DolphinCR7.dll Dolphin
copy ..\..\DolphinDR7.dll Dolphin
copy ..\..\DolphinSureCrypto.dll Dolphin

ECHO Boot and test image
cd Dolphin
CALL BootDPRO
CALL TestDPRO
Revert "Don't do a BootDPRO but instead call the boot directly."
Revert "Don't do a BootDPRO but instead call the boot directly."

This reverts commit 8eac068e56c69f5eb92d7f97b4a933b12074c53d.
