diff options
| author | DJ Delorie <dj@redhat.com> | 2005-04-16 21:49:14 +0000 |
|---|---|---|
| committer | DJ Delorie <dj@redhat.com> | 2005-04-16 21:49:14 +0000 |
| commit | 7b6f628627fd678e69558bdc8e4f2bd62e56ec0c (patch) | |
| tree | e931c698496bce7259c498112a3d3ad431201820 /include/libiberty.h | |
| parent | 5a49dfd0ac779c6d2148f7fd4dd3b357f841877a (diff) | |
| download | gdb-7b6f628627fd678e69558bdc8e4f2bd62e56ec0c.zip gdb-7b6f628627fd678e69558bdc8e4f2bd62e56ec0c.tar.gz gdb-7b6f628627fd678e69558bdc8e4f2bd62e56ec0c.tar.bz2 | |
merge from gcc
Diffstat (limited to 'include/libiberty.h')
| -rw-r--r-- | include/libiberty.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/include/libiberty.h b/include/libiberty.h index 671a123..8254aaf 100644 --- a/include/libiberty.h +++ b/include/libiberty.h @@ -48,6 +48,12 @@ extern "C" { #include <stdio.h> +/* If the OS supports it, ensure that the supplied stream is setup to + avoid any multi-threaded locking. Otherwise leave the FILE pointer + unchanged. If the stream is NULL do nothing. */ + +extern void unlock_stream (FILE *); + /* Open and return a FILE pointer. If the OS supports it, ensure that the stream is setup to avoid any multi-threaded locking. Otherwise return the FILE pointer unchanged. */ |