diff options
| author | Timothy Gu <[email protected]> | 2013-11-28 17:00:28 -0800 |
|---|---|---|
| committer | Michael Niedermayer <[email protected]> | 2013-11-30 15:04:24 +0100 |
| commit | 802ba5f5575716a644d693d2e101ddadee509ea6 (patch) | |
| tree | 039be00530cb5283be98db37981042f73ba65320 | |
| parent | f2f17dd8745db2820109cab14af74cee7076dee6 (diff) | |
version.sh: make it independant of version.h file name
Signed-off-by: Timothy Gu <[email protected]>
Signed-off-by: Michael Niedermayer <[email protected]>
| -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 |