mingwmake.bat
author Jan Vrany <jan.vrany@labware.com>
Wed, 06 Oct 2021 12:07:04 +0100
changeset 932 fa801680bb02
parent 544 045d88134e1d
permissions -rw-r--r--
Make use of original working copy the default Also use shared working copy if original working copy cannot be used. These two options has been used (by JV) for more than a year and seem to work fine.

pushd common
call mingwmake.bat %1 %2 %3 %4 %5 %6 %7 %8 %9
popd 
pushd mercurial
call mingwmake.bat %1 %2 %3 %4 %5 %6 %7 %8 %9
popd