distrib/msw/expdwild.bat

   1 @echo off
   2 rem Expands wildcards in response file (arg 1) into output file (arg 2)
   3 rem Note: requires ls.exe from GNU-WIN32 distribution, renamed to ls2.exe.
   4 rem Correction: this is too slow, so we're using the built in 'dir'.
   5
   6 set newname=%temp\temp.tmp
   7 sed -e "s/\//\\/g" %1 > %newname
   8
   9 set len=%@LINES[%newname]
  10 rem set len=%@DEC[%len]
  11 do i = 0 to %len by 1
  12   set line=%@LINE[%newname,%i]
  13   if NOT "%line" == "" dir /FB %line >> %2
  14 enddo
  15