Really delete file.

1 files changed, 0 insertions, 39 deletions

diff --git a/libdiskfs/interrupt.c b/libdiskfs/interrupt.c
deleted file mode 100644
index ffd7fb83..00000000
--- a/libdiskfs/interrupt.c
+++ /dev/null
@@ -1,39 +0,0 @@
-/*
-   Copyright (C) 1993, 1994, 1995 Free Software Foundation
-
-This file is part of the GNU Hurd.
-
-The GNU Hurd is free software; you can redistribute it and/or modify
-it under the terms of the GNU General Public License as published by
-the Free Software Foundation; either version 2, or (at your option)
-any later version.
-
-The GNU Hurd is distributed in the hope that it will be useful, 
-but WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-GNU General Public License for more details.
-
-You should have received a copy of the GNU General Public License
-along with the GNU Hurd; see the file COPYING.  If not, write to
-the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
-
-/* Written by Michael I. Bushnell.  */
-
-#include "priv.h"
-#include "interrupt_S.h"
-
-kern_return_t
-diskfs_S_interrupt_operation (mach_port_t handle)
-{
-  struct port_info *pi;
-  
-  pi = ports_lookup_port (diskfs_port_bucket, handle, 0);
-  if (!pi)
-    return EOPNOTSUPP;
-  
-  ports_interrupt_rpc (pi);
-  
-  ports_port_deref (pi);
-
-  return 0;
-}