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
ECHO Clone Dolphin image environment
git clone -q --branch=master https://github.com/dolphinsmalltalk/Dolphin.git Dolphin

ECHO Copy executables
copy ..\..\*.exe Dolphin
copy ..\..\*.dll Dolphin

ECHO Boot and test image
cd Dolphin
CALL BootDPRO
CALL TestDPRO
Fix failing VersionResourceTests caused by removal of EXE/DLLs from image repo.
Fix failing VersionResourceTests caused by removal of EXE/DLLs from image repo.
