mirrors/pv
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added splint annotation.

Browse Source
This commit is contained in:
Andrew Wood
2023-07-29 22:19:43 +01:00
parent 34fe796806
commit 630d92fef6
1 changed files with 9 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/main/version.c
+9 -8
View File
@@ -14,19 +14,20 @@
*/
void display_version(void)
{
/*@-mustfreefresh@ */
/*
* splint note: the gettext calls made by _() cause memory leak
* warnings, but in this case it's unavoidable, and mitigated by the
* fact we only translate each string once.
*/
/* GNU standard first line format: program and version only */
printf("%s %s\n", PROGRAM_NAME, VERSION);
/* GNU standard second line format - "Copyright" always in English */
printf("Copyright %s %s\n", COPYRIGHT_YEAR, COPYRIGHT_HOLDER);
/* GNU standard license line and free software notice */
printf("%s\n",
_
("License: Artistic v2.0 <https://opensource.org/license/artistic-2-0/>"));
printf("%s\n",
_
("This is free software: you are free to change and redistribute it."));
printf("%s\n",
_("There is NO WARRANTY, to the extent permitted by law."));
printf("%s\n", _("License: Artistic v2.0 <https://opensource.org/license/artistic-2-0/>"));
printf("%s\n", _("This is free software: you are free to change and redistribute it."));
printf("%s\n", _("There is NO WARRANTY, to the extent permitted by law."));
/* Project web site link */
printf("\n%s: <%s>\n", _("Project web site"), PROJECT_HOMEPAGE);
}