wince/copy_tool.bat

   1 @echo off
   2
   3 set PLATFORMNAME=%1
   4 set CONFIGURATIONNAME=%2
   5 set BINARY=%3
   6
   7 REM strip off the trailing and leading " by dropping those characters
   8 set PLATFORMNAME=%PLATFORMNAME:~1,-1%
   9 set CONFIGURATIONNAME=%CONFIGURATIONNAME:~1,-1%
  10 set BINARY=%BINARY:~1,-1%
  11
  12 echo PLATFORMNAME=%PLATFORMNAME%
  13 echo CONFIGURATIONNAME=%CONFIGURATIONNAME%
  14 echo BINARY=%BINARY%
  15
  16 IF NOT EXIST dist md dist
  17 IF NOT EXIST "dist\%PLATFORMNAME%" md "dist\%PLATFORMNAME%"
  18 IF NOT EXIST "dist\%PLATFORMNAME%\%CONFIGURATIONNAME%" md "dist\%PLATFORMNAME%\%CONFIGURATIONNAME%"
  19 echo Copying binary
  20 copy "%CONFIGURATIONNAME%\%PLATFORMNAME%\%BINARY%" "dist\%PLATFORMNAME%\%CONFIGURATIONNAME%"