This file is indexed.

/usr/include/dune/grid/utility/gridtype.hh is in libdune-grid-dev 2.2.1-2.

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
#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