diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-06-27 20:06:31 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-27 20:06:31 +0000 |
commit | 0cee0596d9dbbdd3b64376e963f9a3202583f4ae (patch) | |
tree | 01d73d0241700f087b76e745ab6944eba0aff260 | |
parent | 3b502c2062fbe9b3932f7d6ba1a2cf2cf5a84b2c (diff) |
Fix attribute specs.
-rw-r--r-- | libports/stubs.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/libports/stubs.c b/libports/stubs.c index 69094e41..23c6a0ea 100644 --- a/libports/stubs.c +++ b/libports/stubs.c @@ -23,13 +23,15 @@ #include <cthreads.h> -__attribute__ ((weak)) +void condition_wait (condition_t c, mutex_t m) __attribute__ ((weak)); + void condition_wait (condition_t c, mutex_t m) { } -__attribute__ ((weak)) +void cond_broadcast (condition_t c) __attribute__ ((weak)); + void cond_broadcast (condition_t c) { |