diff options
Diffstat (limited to 'games/springlobby/files/patch-tools-regen__config__header.sh')
| -rw-r--r-- | games/springlobby/files/patch-tools-regen__config__header.sh | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/games/springlobby/files/patch-tools-regen__config__header.sh b/games/springlobby/files/patch-tools-regen__config__header.sh deleted file mode 100644 index 3893d72c7a62..000000000000 --- a/games/springlobby/files/patch-tools-regen__config__header.sh +++ /dev/null @@ -1,16 +0,0 @@ ---- tools/regen_config_header.sh.orig 2011-04-25 01:48:12.000000000 +0400 -+++ tools/regen_config_header.sh 2011-05-05 12:03:25.000000000 +0400 -@@ -1,4 +1,4 @@ --#!/usr/bin/env bash -+#!/bin/sh - - #regen on bbot releases would screw with version - if [ "x${BUILDBOT_RELEASE}" != "x" ] ; then -@@ -14,6 +14,7 @@ - REV_TEMPLATE="@SPRINGLOBBY_REV@" - - #don't fail if no .git -+exit 0 - git branch &> /dev/null || exit 0 - - REV="$(git describe --tags)" |