diff options
| author | Martijn Kaijser <mcm.kaijser@gmail.com> | 2013-09-28 18:28:12 +0200 |
|---|---|---|
| committer | Martijn Kaijser <mcm.kaijser@gmail.com> | 2013-09-28 18:28:12 +0200 |
| commit | 05274bfcbcbbc96a5ee5a61bf4018b30719727f4 (patch) | |
| tree | 17c4601c3729f860a0a7f33329682d4c96cd0925 /tools | |
| parent | 98c0d383b3bcd296f9e82bae26fc5db95d691ae4 (diff) | |
[darwin] remove unused buildbot files
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/buildbot/darwin-depends-check | 3 | ||||
| -rwxr-xr-x | tools/buildbot/gitrev-posix | 14 |
2 files changed, 0 insertions, 17 deletions
diff --git a/tools/buildbot/darwin-depends-check b/tools/buildbot/darwin-depends-check deleted file mode 100755 index 231f67647e..0000000000 --- a/tools/buildbot/darwin-depends-check +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash -git diff-tree --quiet -r HEAD@{1}..HEAD@{0} tools/darwin/depends/ -echo $? diff --git a/tools/buildbot/gitrev-posix b/tools/buildbot/gitrev-posix deleted file mode 100755 index dd593f1917..0000000000 --- a/tools/buildbot/gitrev-posix +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/bash -#Print the git revision in the form yyyymmdd-abc1234 -#Note: yyyymmdd is the date that abc1234 was committed and not today's date. - -which git &>/dev/null -if [ "$?" != "0" ]; then - echo "Unknown" - exit 1 -fi -git --no-pager log --abbrev=7 -n 1 --pretty=format:"%h %ci" HEAD | awk '{gsub("-", "");print $2"-"$1}' 2>/dev/null -if [ "$?" != "0" ]; then - echo "Unknown" - exit 1 -fi |