If you don't know it, it's hard to figure out the difference between the linux-headers folder and the include/standard-headers folder. So let's add a short explanation to clarify the difference.
Signed-off-by: Thomas Huth <th...@redhat.com> --- scripts/update-linux-headers.sh | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/scripts/update-linux-headers.sh b/scripts/update-linux-headers.sh index fea4d6eb65..96c7daef94 100755 --- a/scripts/update-linux-headers.sh +++ b/scripts/update-linux-headers.sh @@ -9,6 +9,13 @@ # # This work is licensed under the terms of the GNU GPL version 2. # See the COPYING file in the top-level directory. +# +# The script will copy the headers into two target folder: +# +# - linux-headers/ for file that are required for compiling on a Linux host +# +# - include/standard-headers/ for files that are used for guest device emulation +# tmpdir=$(mktemp -d) linux="$1" -- 2.27.0
