Content - a95a054939136f8f9c7fc870d5a722eb44eba5f6 - 99e0d1c/scripts/grep-global

visit type:

Tip revision: b9c453e1c08ce94dda589d77993a7017158e5c45 authored by Guido Cossu on 02 May 2018, 13:30:27 UTC
Fix for the CI

Tip revision: b9c453e

grep-global

#!/bin/bash

export LANG=C
find . -name "*.cc"  -exec grep -H $@ {} \;
find . -name "*.h"   -exec grep -H $@ {} \;