diff options
Diffstat (limited to 'pintos-progos/misc/bochs-2.3.7-linux3x.patch')
| -rw-r--r-- | pintos-progos/misc/bochs-2.3.7-linux3x.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/pintos-progos/misc/bochs-2.3.7-linux3x.patch b/pintos-progos/misc/bochs-2.3.7-linux3x.patch deleted file mode 100644 index 1c84060..0000000 --- a/pintos-progos/misc/bochs-2.3.7-linux3x.patch +++ /dev/null | |||
| @@ -1,11 +0,0 @@ | |||
| 1 | --- a/configure.in 2012-01-03 11:12:22.104612131 +0100 | ||
| 2 | +++ b/configure.in 2012-01-03 11:13:05.507941106 +0100 | ||
| 3 | @@ -715,7 +715,7 @@ AC_ARG_ENABLE(pcidev, | ||
| 4 | PCIDEV_MODULE_MAKE_ALL="all-kernel24" | ||
| 5 | KERNEL_MODULE_SUFFIX="o" | ||
| 6 | ;; | ||
| 7 | - 2.6*) | ||
| 8 | + 2.6*|3*) | ||
| 9 | PCIDEV_MODULE_MAKE_ALL="all-kernel26" | ||
| 10 | KERNEL_MODULE_SUFFIX="ko" | ||
| 11 | ;; | ||