-
Committer:
rillig
-
Date:
2023-11-02 06:09:07 UTC
-
Revision ID:
rillig-20231102060907-vkq21va8cco3a5zn
make: when comparing substrings, don't read beyond the substring's end
Right now, Substring_Words terminates each word with a '\0', but that's
an implementation detail that is not required by the interface, so don't
rely on it.