diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-08-09 14:33:38 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-08-09 14:33:38 +0000 |
commit | aaebac50b6bec76cf62c3a568ab09025b351e8e8 (patch) | |
tree | bb0c7048779e423d00d5783453cb4c26fcbca343 | |
parent | d423525a23fabf4872047603768d142c2f08a97f (diff) |
Formerly sched.c.~3~
-rw-r--r-- | pfinet/sched.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pfinet/sched.c b/pfinet/sched.c index ef76eafd..aadb6fbc 100644 --- a/pfinet/sched.c +++ b/pfinet/sched.c @@ -18,7 +18,7 @@ along with this program; if not, write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111, USA. */ -#include <linux/system.h> +#include <asm/system.h> struct mutex global_interrupt_lock = MUTEX_INITIALIZER; |