tools/win64-setup.sh

   1 #!/bin/bash
   2 #
   3 # $Id$
   4
   5 # 64-bit wrapper for win32-setup.sh.
   6
   7 export DOWNLOAD_TAG="2009-03-06"
   8 export PLATFORM="win64"
   9
  10 WIN32_SETUP=`echo $0 | sed -e s/win64/win32/`
  11
  12 exec $WIN32_SETUP $@