diff options
Diffstat (limited to 'scripts/show-gnu-make')
| -rwxr-xr-x | scripts/show-gnu-make | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/scripts/show-gnu-make b/scripts/show-gnu-make index 26271b59b9..90a5f3862b 100755 --- a/scripts/show-gnu-make +++ b/scripts/show-gnu-make @@ -1,4 +1,5 @@ #!/bin/sh +# SPDX-License-Identifier: GPL-2.0+ # # Show the command name for GNU Make # @@ -8,9 +9,6 @@ # It is not a good idea to hard-code the command name in scripts # where where GNU Make is expected. # Call this helper script to get the command name for GNU Make. -# -# SPDX-License-Identifier: GPL-2.0+ -# gnu_make= |