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/print.c | |
parent | 5948c9ed5b3c16fe0bc873bffb152989a3abf100 (diff) | |
download | FreeBSD-src-5ee04d58e61e5dbe7c4dc899f890b9e830d93b5e.zip FreeBSD-src-5ee04d58e61e5dbe7c4dc899f890b9e830d93b5e.tar.gz |
Compensate for header dethreading.
Diffstat (limited to 'bin/ps/print.c')
-rw-r--r-- | bin/ps/print.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/ps/print.c b/bin/ps/print.c index f73c3f0..8762700 100644 --- a/bin/ps/print.c +++ b/bin/ps/print.c @@ -40,6 +40,7 @@ static const char rcsid[] = #endif /* not lint */ #include <sys/param.h> +#include <sys/lock.h> #include <sys/time.h> #include <sys/resource.h> #include <sys/proc.h> |