Searched refs:Id_string (Results 1 – 2 of 2) sorted by relevance
145 char Id_string[] = "$Id: "; in get_revision() local150 if (!(idstart = strstr(string, Id_string))) { in get_revision()154 idstart += strlen(Id_string); in get_revision()
448 char Id_string[] = "$Id: "; in get_revision() local453 if (!(idstart = strstr(string, Id_string))) { in get_revision()457 idstart += strlen(Id_string); in get_revision()