diff options
Diffstat (limited to 'buildtools')
| -rwxr-xr-x | buildtools/update-waf.sh | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/buildtools/update-waf.sh b/buildtools/update-waf.sh deleted file mode 100755 index 277111feb49..00000000000 --- a/buildtools/update-waf.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/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.waf15/ "$WORKDIR" - -rsync -C -avz --delete "$WORKDIR/wafadmin/" "$TARGETDIR/wafadmin/" - -rm -rf "$WORKDIR" |