From 3e227f6c41e5c6faf42f8a589527980196467771 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Mon, 24 Feb 2020 21:09:56 +0100 Subject: ffmpeg-rpi: add debug patch --- ffmpeg-rpi/dbg.patch | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 ffmpeg-rpi/dbg.patch (limited to 'ffmpeg-rpi/dbg.patch') diff --git a/ffmpeg-rpi/dbg.patch b/ffmpeg-rpi/dbg.patch new file mode 100644 index 0000000..82b1bc3 --- /dev/null +++ b/ffmpeg-rpi/dbg.patch @@ -0,0 +1,9 @@ +diff --git a/ffbuild/libversion.sh b/ffbuild/libversion.sh +index 990ce9f640..aacef0b58e 100755 +--- a/ffbuild/libversion.sh ++++ b/ffbuild/libversion.sh +@@ -1,3 +1,4 @@ ++set -x + toupper(){ + echo "$@" | tr abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ + } -- cgit v1.2.3