buildtools/update-waf.sh


1
2
3
4
5
6
7
8
9
10
11
12
13

#!/bin/sh
# Update our copy of waf

TARGETDIR="`dirname $0`"
WORKDIR="`mktemp -d -t update-waf`"

mkdir -p "$WORKDIR"

git clone https://code.google.com/p/waf.waf15/ "$WORKDIR"

rsync -C -avz --delete "$WORKDIR/wafadmin/" "$TARGETDIR/wafadmin/"

rm -rf "$WORKDIR"