This file is indexed.

/usr/include/dune/grid/utility/gridtype.hh is in libdune-grid-dev 2.5.1-1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
// -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
// vi: set et ts=4 sw=2 sts=2:
#ifndef DUNE_GRIDTYPE_HH
#define DUNE_GRIDTYPE_HH

/**
 * @file
 * @author Andreas Dedner
 *
 * @brief This file can be included directly following config.h to
 *        test if a grid type was correctly selected.
 *
 **/

#ifndef HEADERCHECK

// NOGRID is used to specify that no default was set during configure
// If NOGRID and HAVE_GRIDTYPE are both not set then no grid was selected
// and an error is produced
#if defined NOGRID
  #if ! HAVE_GRIDTYPE
    #error "No grid type selected, use GRIDTYPE=..."
  #endif
#else
  #if ! HAVE_GRIDTYPE
    #error "No grid type selected, typo in GRIDTYPE=...?"
  #endif
#endif

#endif  // HEADERCHECK

#endif  // DUNE_GRIDTYPE_HH