diff options
| author | Timothy Gu <timothygu99@gmail.com> | 2013-11-29 05:00:28 +0400 |
|---|---|---|
| committer | Michael Niedermayer <michaelni@gmx.at> | 2013-11-30 18:04:24 +0400 |
| commit | 802ba5f5575716a644d693d2e101ddadee509ea6 (patch) | |
| tree | 039be00530cb5283be98db37981042f73ba65320 /version.sh | |
| parent | f2f17dd8745db2820109cab14af74cee7076dee6 (diff) | |
version.sh: make it independant of version.h file name
Signed-off-by: Timothy Gu <timothygu99@gmail.com>
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
Diffstat (limited to 'version.sh')
| -rwxr-xr-x | version.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/version.sh b/version.sh index 8d084c2df3..62882e0f36 100755 --- a/version.sh +++ b/version.sh @@ -40,9 +40,9 @@ if [ -z "$2" ]; then fi NEW_REVISION="#define FFMPEG_VERSION \"$version\"" -OLD_REVISION=$(cat version.h 2> /dev/null) +OLD_REVISION=$(cat "$2" 2> /dev/null) -# Update version.h only on revision changes to avoid spurious rebuilds +# Update version header only on revision changes to avoid spurious rebuilds if test "$NEW_REVISION" != "$OLD_REVISION"; then echo "$NEW_REVISION" > "$2" fi |