=> wget fails.
we just have to change from grub_0.97-20.diff.gz to grub_0.97-22.diff.gz
patch included
grub.mk.patch [^] (428 bytes) 02-07-07 05:39 
| Anonymous | Login | Signup for a new account | 11-10-2008 11:11 PST |
| Main | My View | View Issues | Change Log | Docs |
| Viewing Issue Simple Details [ Jump to Notes ] | [ View Advanced ] [ Issue History ] [ Print ] | ||||||||
| ID | Category | Severity | Reproducibility | Date Submitted | Last Update | ||||
| 0001203 | [buildroot] Other | minor | always | 02-07-07 05:39 | 02-12-07 05:42 | ||||
| Reporter | rgenoud | View Status | public | ||||||
| Assigned To | buildroot | ||||||||
| Priority | normal | Resolution | no change required | ||||||
| Status | closed | Product Version | |||||||
| Summary | 0001203: grub patch grub_0.97-20.diff.gz doesn't exists | ||||||||
| Description |
the file http://ftp.debian.org/debian/pool/main/g/grub/grub_0.97-20.diff.gz [^] doesn't exists any more. => wget fails. we just have to change from grub_0.97-20.diff.gz to grub_0.97-22.diff.gz patch included |
||||||||
| Additional Information | |||||||||
| Attached Files |
grub.mk.patch [^] (428 bytes) 02-07-07 05:39 |
||||||||
|
|
|||||||||
 Relationships |
|
|
Notes |
|
|
(0002133) bernhardf 02-07-07 06:28 |
This was already fixed several hours ago. |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 02-07-07 05:39 | rgenoud | New Issue | |
| 02-07-07 05:39 | rgenoud | Status | new => assigned |
| 02-07-07 05:39 | rgenoud | Assigned To | => uClibc |
| 02-07-07 05:39 | rgenoud | File Added: grub.mk.patch | |
| 02-07-07 06:28 | bernhardf | Status | assigned => closed |
| 02-07-07 06:28 | bernhardf | Note Added: 0002133 | |
| 02-07-07 06:28 | bernhardf | Resolution | open => no change required |
| 02-12-07 05:42 | vapier | Status | closed => assigned |
| 02-12-07 05:42 | vapier | Assigned To | uClibc => buildroot |
| Copyright © 2000 - 2006 Mantis Group |  |
