blob: c368f5a73668369c58f7447d346cf69624886772 (
plain)
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"
|