merge with mainline
This commit is contained in:
commit
54416e9d71
260 changed files with 40663 additions and 5647 deletions
|
@ -17,7 +17,7 @@
|
|||
# along with GRUB. If not, see <http://www.gnu.org/licenses/>.
|
||||
|
||||
disks=`echo ls | @builddir@/grub-shell`
|
||||
other=`echo echo '*' | @builddir@/grub-shell`
|
||||
other=`echo echo \\* | @builddir@/grub-shell`
|
||||
for d in $disks; do
|
||||
if ! echo "$other" | grep "$d" >/dev/null; then
|
||||
echo "$d missing from * expansion" >&2
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue