buildtools/update-waf.sh

   1 #!/bin/sh
   2 # Update our copy of waf
   3
   4 TARGETDIR="`dirname $0`"
   5 WORKDIR="`mktemp -d -t update-waf`"
   6
   7 mkdir -p "$WORKDIR"
   8
   9 git clone https://code.google.com/p/waf.waf15/ "$WORKDIR"
  10
  11 rsync -C -avz --delete "$WORKDIR/wafadmin/" "$TARGETDIR/wafadmin/"
  12
  13 rm -rf "$WORKDIR"