Add script for updating our copy of waf.

diff --git a/buildtools/update-waf.sh b/buildtools/update-waf.sh
new file mode 100755 (executable)
index 0000000..131de43
--- /dev/null
+++ b/buildtools/update-waf.sh
@@ -0,0 +1,13 @@
+#!/bin/sh
+# Update our copy of waf
+
+TARGETDIR="`dirname $0`"
+WORKDIR="`mktemp -d -t update-waf.XXXXXX`"
+
+mkdir -p "$WORKDIR"
+
+git clone https://code.google.com/p/waf "$WORKDIR"
+
+rsync -C -avz --delete "$WORKDIR/waflib/" "$TARGETDIR/waflib/"
+
+rm -rf "$WORKDIR"