github-repos/make
1
0
Fork 0
mirror of https://github.com/mirror/make.git synced 2026-08-31 03:38:03 +08:00
Code Issues Packages Projects Releases Wiki Activity

* A few cleanups, and 3.77.94 release.

Browse Source
This commit is contained in:
Paul Smith
1999-08-25 21:39:28 +00:00
parent d0b03e9355
commit b134da5505
5 changed files with 47 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
function.c
View File

@@ -702,13 +702,10 @@ is_numeric (p)
char *end = p + strlen (p) - 1;
char *beg = p;
strip_whitespace (&p, &end);
while (p <= end)
{
if (!isdigit (*p))
return 0;
p++;
}
while (p <= end)
if (!ISDIGIT (*(p++))) /* ISDIGIT only evals its arg once: see make.h. */
return 0;
return (end - beg >= 0);
}