diff options
Diffstat (limited to 'make_patchnum.pl')
| -rw-r--r-- | make_patchnum.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make_patchnum.pl b/make_patchnum.pl index 77d4a4ee1a..3f857b5739 100644 --- a/make_patchnum.pl +++ b/make_patchnum.pl @@ -178,7 +178,7 @@ git_unpushed='$unpushed_commit_list'"; $commit_title ||= "Commit id:"; } -# we extract the filename out of the warning header, so dont mess with that +# we extract the filename out of the warning header, so don't mess with that write_files(<<"EOF_HEADER", <<"EOF_CONFIG"); /************************************************************************** * WARNING: 'git_version.h' is automatically generated by make_patchnum.pl |