/* This file contains the definitions for timing variables used to -*- C -*-
measure run-time performance of the compiler.
- Copyright (C) 2002, 2007, 2009-2011 Free Software Foundation, Inc.
+ Copyright (C) 2002, 2007, 2009-2013 Free Software Foundation, Inc.
Contributed by Akim Demaille <akim@freefriends.org>.