diff options
author | Diego Biurrun <diego@biurrun.de> | 2013-03-26 01:11:11 +0100 |
---|---|---|
committer | Diego Biurrun <diego@biurrun.de> | 2016-12-22 11:07:50 +0100 |
commit | 11a9320de54759340531177c9f2b1e31e6112cc2 (patch) | |
tree | a445b225d8690ce46f214a8ebe49ddac4f696a48 /version.sh | |
parent | f9edc734e0ca3f6ef06c1ad0bd2c19c0c66f1ffa (diff) | |
download | ffmpeg-streaming-11a9320de54759340531177c9f2b1e31e6112cc2.zip ffmpeg-streaming-11a9320de54759340531177c9f2b1e31e6112cc2.tar.gz |
build: Move build-system-related helper files to a separate subdirectory
This unclutters the top-level directory and groups related files together.
Diffstat (limited to 'version.sh')
-rwxr-xr-x | version.sh | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/version.sh b/version.sh deleted file mode 100755 index 4689627..0000000 --- a/version.sh +++ /dev/null @@ -1,26 +0,0 @@ -#!/bin/sh - -# check for git short hash -revision=$(cd "$1" && git describe --always 2> /dev/null) - -# no revision number found -test "$revision" || revision=$(cd "$1" && cat RELEASE 2> /dev/null) - -# releases extract the version number from the VERSION file -version=$(cd "$1" && cat VERSION 2> /dev/null) -test "$version" || version=$revision - -test -n "$3" && version=$version-$3 - -if [ -z "$2" ]; then - echo "$version" - exit -fi - -NEW_REVISION="#define LIBAV_VERSION \"$version\"" -OLD_REVISION=$(cat "$2" 2> /dev/null) - -# Update version.h only on revision changes to avoid spurious rebuilds -if test "$NEW_REVISION" != "$OLD_REVISION"; then - echo "$NEW_REVISION" > "$2" -fi |