diff options
author | Paul Smith <psmith@gnu.org> | 2013-01-20 11:01:01 -0500 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2013-01-20 11:33:20 -0500 |
commit | a45f25ece30e4101ae77c90d2270d253ea9a82ec (patch) | |
tree | bbfc5e41c8df4219f3750c2bfc79f64fe37a552c /function.c | |
parent | b70aa3709e126953faeeec3f666885f9796eea14 (diff) | |
download | gunmake-a45f25ece30e4101ae77c90d2270d253ea9a82ec.tar.gz |
Rename the make.h file to makeint.h for internal use only.
Diffstat (limited to 'function.c')
-rw-r--r-- | function.c | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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) |