diff options
Diffstat (limited to 'usr.bin/make/nonints.h')
-rw-r--r-- | usr.bin/make/nonints.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/usr.bin/make/nonints.h b/usr.bin/make/nonints.h index eb4d442..0b08e16 100644 --- a/usr.bin/make/nonints.h +++ b/usr.bin/make/nonints.h @@ -64,6 +64,7 @@ void For_Run(void); /* main.c */ void Main_ParseArgLine(char *); char *Cmd_Exec(char *, char **); +void Debug(const char *, ...); void Error(const char *, ...); void Fatal(const char *, ...); void Punt(const char *, ...); |