string: rename strchr to runtime_strchr
#include <runtime.h>
char *
-strchr (const char *string, int _c)
+runtime_strchr (const char *string, int _c)
{
char c = _c;
@@ -22,7 +22,7 @@ strtok_r (char *s, const char *delimiters, char **save_ptr)
if (s == 0)
s = *save_ptr;
- while (strchr(delimiters, *s) != 0) {
+ while (runtime_strchr(delimiters, *s) != 0) {
if (*s == '\0') {
*save_ptr = s;
return 0;
@@ -32,7 +32,7 @@ strtok_r (char *s, const char *delimiters, char **save_ptr)
}
token = s;
- while (strchr(delimiters, *s) == 0)
+ while (runtime_strchr(delimiters, *s) == 0)
s ++;
if (*s != '\0') {
