diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2021-05-06 20:12:37 +0300 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2022-03-14 18:06:41 +0300 |
| commit | 881cc0caa07645a5996787c2b0d4d2e274b304c9 (patch) | |
| tree | b045d5456221a05a4098e60bc04ab0446e4695ad /games/springlobby/files/patch-tools-regen__config__header.sh | |
| parent | games/widelands: update build21 → 1.0 (diff) | |
games/springlobby: update 0.180 → 0.273
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)" |