diff --git a/gdb/make-init-c b/gdb/make-init-c index dd49878..6834b43 100755 --- a/gdb/make-init-c +++ b/gdb/make-init-c @@ -46,7 +46,7 @@ echo "#include " echo "" echo "#undef INIT_GDB_FILE" echo "#define INIT_GDB_FILE(NAME) extern void _initialize_ ## NAME ();" -grep -h '^[ ]*INIT_GDB_FILE\b' "$@" +ggrep -h '^[ ]*INIT_GDB_FILE\b' "$@" echo "" echo "void initialize_all_files ();" echo "void" @@ -58,7 +58,7 @@ echo " std::vector functions =" echo " {" echo "#undef INIT_GDB_FILE" echo "#define INIT_GDB_FILE(NAME) _initialize_ ## NAME," -grep -h '^[ ]*INIT_GDB_FILE\b' "$@" +ggrep -h '^[ ]*INIT_GDB_FILE\b' "$@" echo " };" echo "" echo " /* If GDB_REVERSE_INIT_FUNCTIONS is set (any value), reverse the"