diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-06-27 20:02:33 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-27 20:02:33 +0000 |
| commit | 64f79614e25397194c80c2c1857e0daa34859d75 (patch) | |
| tree | 2d2fcdb1f7f592439f5c84793d73c64c07c7b8b5 | |
| parent | 3ac5696378822682f6051b5f257a40377efb5994 (diff) | |
(cond_broadcast): Here's a real fix.
| -rw-r--r-- | libports/stubs.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libports/stubs.c b/libports/stubs.c index cefa5fc6..69094e41 100644 --- a/libports/stubs.c +++ b/libports/stubs.c @@ -23,11 +23,13 @@ #include <cthreads.h> +__attribute__ ((weak)) void condition_wait (condition_t c, mutex_t m) { } +__attribute__ ((weak)) void cond_broadcast (condition_t c) { |