diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-06-27 15:13:05 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-27 15:13:05 +0000 |
| commit | 4193720d942c29b6d2d07ac8ea0a51e76d02b003 (patch) | |
| tree | 75c9fd53c37bfa68afdbca7180238b08c2f12a8e /libthreads/Makefile.GNU | |
| parent | 886df622bee1fc15147eba65fdefcef2eb5ae2fd (diff) | |
(trivfs_clean_protid): Use new ports interface. Use PREdecrement in
reference counting check.
Diffstat (limited to 'libthreads/Makefile.GNU')
0 files changed, 0 insertions, 0 deletions