diff options
| author | maximilian attems <[email protected]> | 2012-06-08 11:36:26 +0200 |
|---|---|---|
| committer | Michal Marek <[email protected]> | 2012-06-28 10:48:08 +0200 |
| commit | 5f011d715984543f47ca5bf1967857a9f36f7264 (patch) | |
| tree | 106f0cffd1b582d5aa2a0fedd0be536fc91aca17 /lib/mpi/mpi-internal.h | |
| parent | 6607ddadf93d19c7f64139f1475c342152f39fe5 (diff) | |
deb-pkg: Add all Makefiles to header package
I discovered that make deb-pkg does not add Makefile_32.cpu from
arch/x86 directory when doing i386 kernel build and package build.
Fix it by greedily adding all Makefiles.
Reported-by: Witold Baryluk <[email protected]>
Signed-off-by: maximilian attems <[email protected]>
Signed-off-by: Michal Marek <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-internal.h')
0 files changed, 0 insertions, 0 deletions