diff options
author | markm <markm@FreeBSD.org> | 2001-05-01 08:39:23 +0000 |
---|---|---|
committer | markm <markm@FreeBSD.org> | 2001-05-01 08:39:23 +0000 |
commit | 5ee04d58e61e5dbe7c4dc899f890b9e830d93b5e (patch) | |
tree | 0a6827bc10cf92d60d20b39a296097c86a73b7e0 /bin/ps/ps.c | |
parent | 5948c9ed5b3c16fe0bc873bffb152989a3abf100 (diff) | |
download | FreeBSD-src-5ee04d58e61e5dbe7c4dc899f890b9e830d93b5e.zip FreeBSD-src-5ee04d58e61e5dbe7c4dc899f890b9e830d93b5e.tar.gz |
Compensate for header dethreading.
Diffstat (limited to 'bin/ps/ps.c')
-rw-r--r-- | bin/ps/ps.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/ps/ps.c b/bin/ps/ps.c index 628ca37..7613a57 100644 --- a/bin/ps/ps.c +++ b/bin/ps/ps.c @@ -46,6 +46,7 @@ static const char rcsid[] = #endif /* not lint */ #include <sys/param.h> +#include <sys/lock.h> #include <sys/user.h> #include <sys/time.h> #include <sys/resource.h> |