diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1999-04-26 05:40:56 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1999-04-26 05:40:56 +0000 |
| commit | f26f4d7684a190496a9f0a6a937e36c404f8f28e (patch) | |
| tree | ad098db911c8293b4eff60bbc4bf59e645805eb6 /kern/profile.c | |
| parent | 115b392475ba2028804c13c8937a0474a7dc5a97 (diff) | |
1998-12-02 OKUJI Yoshinori <okuji@kuicr.kyoto-u.ac.jp>
* configure.in: Fix linuxdev option handling.
* linux/Drivers.in: Remove linuxdev option and fix linking files.
* linux/Makefile.in: Replace @DEFS@ with -DLINUX_DEV.
* linux/dev/arch/i386/kernel/irq.c: Include missing header files.
* linux/dev/arch/i386/kernel/setup.c: Include <device-drivers.h>.
* linux/dev/glue/kmem.c: Add printf declaration.
* linux/dev/glue/misc.c: Include <linux/types.h>.
* linux/dev/init/main.c: Call linux_sched_init instead of sched_init.
* linux/dev/kernel/sched.c: Add timer_bh declaration.
(tqueue_bh): Fix the argument.
(linux_sched_init): Renamed from sched_init.
Diffstat (limited to 'kern/profile.c')
0 files changed, 0 insertions, 0 deletions