diff options
| -rw-r--r-- | pflocal/pflocal.c | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/pflocal/pflocal.c b/pflocal/pflocal.c index e4e99871..fd840622 100644 --- a/pflocal/pflocal.c +++ b/pflocal/pflocal.c @@ -18,7 +18,12 @@ along with this program; if not, write to the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ -#include <trivfs.h> +#include <stdio.h> +#include <getopt.h> +#include <error.h> + +#include <hurd/hurd_types.h> +#include <hurd/trivfs.h> #include "pflocal.h" @@ -104,10 +109,6 @@ void main(int argc, char *argv[]) if (err) error(3, err, "Contacting parent"); - /* Open the device only when necessary. */ - device = NULL; - mutex_init(&device_lock); - /* Launch. */ ports_manage_port_operations_multithread (pflocal_port_bucket, trivfs_demuxer, |