[CRIU] [PATCH 0/3] criu/config: minor cleanups

[Mike Rapoport]

Hi,

These patches address the issues I've introduced with 'criu -v' update and
clean up the criu/config.c a bit.

Mike Rapoport (3):
  criu/config: rename variables counting options in config files
  criu/config: allow init_config properly handle -h/--help
  criu/config: reduce the number of argv traversals

 criu/config.c          | 98 ++++++++++++++++++++++----------------------------
 criu/crtools.c         | 11 +++---
 criu/include/crtools.h |  4 ++-
 3 files changed, 53 insertions(+), 60 deletions(-)

-- 
2.7.4