alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/bin/common_setup.cc: bump copyright year to 2015.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-01-02 17:42:59 +01:00
parent cf65f606b4
commit 3f4b19142d
1 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/bin/common_setup.cc
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2012, 2013, 2014 Laboratoire de Recherche et // Copyright (C) 2012, 2013, 2014, 2015 Laboratoire de Recherche et
// Développement de l'Epita (LRDE). // Développement de l'Epita (LRDE).
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
@ -30,7 +30,7 @@ display_version(FILE *stream, struct argp_state*)
fputs(program_name, stream); fputs(program_name, stream);
fputs(" (" PACKAGE_STRING ")\n\ fputs(" (" PACKAGE_STRING ")\n\
\n\ \n\
Copyright (C) 2014 Laboratoire de Recherche et Développement de l'Epita.\n\ Copyright (C) 2015 Laboratoire de Recherche et Développement de l'Epita.\n\
License GPLv3+: \ License GPLv3+: \
GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>.\n\ GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>.\n\
This is free software: you are free to change and redistribute it.\n\ This is free software: you are free to change and redistribute it.\n\
@ -84,10 +84,6 @@ parse_opt_misc(int key, char*, struct argp_state* state)
// This switch is alphabetically-ordered. // This switch is alphabetically-ordered.
switch (key) switch (key)
{ {
case OPT_VERSION:
display_version(state->out_stream, state);
exit(0);
break;
case OPT_HELP: case OPT_HELP:
argp_state_help(state, state->out_stream, ARGP_HELP_STD_HELP); argp_state_help(state, state->out_stream, ARGP_HELP_STD_HELP);
break; break;
@ -95,6 +91,10 @@ parse_opt_misc(int key, char*, struct argp_state* state)
argp_state_help(state, state->out_stream, argp_state_help(state, state->out_stream,
ARGP_HELP_USAGE | ARGP_HELP_EXIT_OK); ARGP_HELP_USAGE | ARGP_HELP_EXIT_OK);
break; break;
case OPT_VERSION:
display_version(state->out_stream, state);
exit(0);
break;
default: default:
return ARGP_ERR_UNKNOWN; return ARGP_ERR_UNKNOWN;
} }