diff options
| author | Manoj Srivastava <srivasta@debian.org> | 2016-02-15 10:49:19 -0800 |
|---|---|---|
| committer | Manoj Srivastava <srivasta@debian.org> | 2016-02-15 11:06:03 -0800 |
| commit | 9b1770e402ab7fe50f04c6c77fbf7d97e2ac1b37 (patch) | |
| tree | 08920a5904fecfda79353fc577d3745aceb05a28 /kernel-packageconfig | |
| parent | 7032d0645bcdee5673eefa2c6e6b1cf14dcf6bff (diff) | |
Root cause failure to build debsdebian/13.017
Firstly, this is not true in general, and I could not reproduce it as
long as I use fakeroot.
Bug fix: "cannot produce debs anymore", thanks to Ritesh Raj Sarraf
The real issue here was that the kernel was built using the deprecated
sudo, instead of fakeroot, and created ./debian directory as
root. Clean, however, is not run as root, so it could not delete
./debian, and failed. This is now documented. (Closes: #812470).
Signed-off-by: Manoj Srivastava <srivasta@debian.org>
Diffstat (limited to 'kernel-packageconfig')
0 files changed, 0 insertions, 0 deletions