mirror of
https://github.com/mirror/make.git
synced 2026-08-09 09:32:12 +00:00
Rename the make.h file to makeint.h for internal use only.
This commit is contained in:
@@ -14,7 +14,7 @@ A PARTICULAR PURPOSE. See the GNU General Public License for more details.
|
||||
You should have received a copy of the GNU General Public License along with
|
||||
this program. If not, see <http://www.gnu.org/licenses/>. */
|
||||
|
||||
#include "make.h"
|
||||
#include "makeint.h"
|
||||
#include "filedef.h"
|
||||
#include "variable.h"
|
||||
#include "dep.h"
|
||||
@@ -736,7 +736,7 @@ check_numeric (const char *s, const char *msg)
|
||||
strip_whitespace (&s, &end);
|
||||
|
||||
for (; s <= end; ++s)
|
||||
if (!ISDIGIT (*s)) /* ISDIGIT only evals its arg once: see make.h. */
|
||||
if (!ISDIGIT (*s)) /* ISDIGIT only evals its arg once: see makeint.h. */
|
||||
break;
|
||||
|
||||
if (s <= end || end - beg < 0)
|
||||
|
||||
Reference in New Issue
Block a user