anchor.diff:          };
       };
   
  -    
  +
     /* Abort if the license predicate is not verified for a derivation
        declared with mkDerivation.
   
  
positive.code:               \( -name "*.c" -o -name "*.h" -o -name "*.gcno" \) \
                | xargs rm -f --
  
              for i in $(find $out/.build/ -name ".tmp_*.gcno"); do 
                  mv "$i" "$(echo $i | sed s/.tmp_//)"
              done
            '';
        } stdenv;          
        
  
    /* Return a modified stdenv that builds packages with GCC's coverage
       instrumentation.  The coverage note files (*.gcno) are stored in
  
negative.code:             export NIX_CFLAGS_COMPILE="$NIX_CFLAGS_COMPILE -O0 --coverage"
            '';
        }
  
        # Object files instrumented with coverage analysis write
        # runtime coverage data to <path>/<object>.gcda, where <path>
        # is the location where gcc originally created the object
  