Bug#796573: pu: package cross-gcc/14

2015-08-26 Thread Adam D. Barratt
Control: tags -1 + pending On Sun, 2015-08-23 at 00:59 +0100, Wookey wrote: +++ Adam D. Barratt [2015-08-22 22:51 +0100]: Control: tags -1 + jessie confirmed On Sat, 2015-08-22 at 18:17 +0100, Wookey wrote: cross-gcc-dev in stable has a serious bug: (780583) which means that if your

Bug#796573: pu: package cross-gcc/14

2015-08-22 Thread Adam D. Barratt
Control: tags -1 + jessie confirmed On Sat, 2015-08-22 at 18:17 +0100, Wookey wrote: cross-gcc-dev in stable has a serious bug: (780583) which means that if your default shell is not bash (or zsh) it simply won't work. As Debian defaults to dash for sh this a real problem making the package

Bug#796573: pu: package cross-gcc/14

2015-08-22 Thread Wookey
+++ Adam D. Barratt [2015-08-22 22:51 +0100]: Control: tags -1 + jessie confirmed On Sat, 2015-08-22 at 18:17 +0100, Wookey wrote: cross-gcc-dev in stable has a serious bug: (780583) which means that if your default shell is not bash (or zsh) it simply won't work. As Debian defaults to

Bug#796573: pu: package cross-gcc/14

2015-08-22 Thread Wookey
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: pu cross-gcc-dev in stable has a serious bug: (780583) which means that if your default shell is not bash (or zsh) it simply won't work. As Debian defaults to dash for sh this a real problem making