From acdfa6d81af4d9069e609780750f6dd8f98d6bff Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Wed, 8 Apr 2015 19:23:52 +0300 Subject: Enable special filenames for profiling output. --- awk.h | 1 + 1 file changed, 1 insertion(+) (limited to 'awk.h') diff --git a/awk.h b/awk.h index 5c3d76af..1eb26880 100644 --- a/awk.h +++ b/awk.h @@ -1483,6 +1483,7 @@ extern struct redirect *redirect(NODE *redir_exp, int redirtype, int *errflg); extern NODE *do_close(int nargs); extern int flush_io(void); extern int close_io(bool *stdio_problem); +extern int devopen_simple(const char *name, const char *mode, bool try_real_open); extern int devopen(const char *name, const char *mode); extern int srcopen(SRCFILE *s); extern char *find_source(const char *src, struct stat *stb, int *errcode, int is_extlib); -- cgit v1.2.3