bug#28445: match-error in 'device-sexp->device' while building system

[Mark H Weaver <mhw@netris.org>]

Hi,

Sorry for the delayed response.

ludo@gnu.org (Ludovic Courtès) writes:
> Andy pushed the first half of the fix as
> 96bc6518002c3b2ad9f15cf36991b20bebcbbe8a.  Could you check whether the
> ‘ensure-not-/dev’ part below solves the rest?

I see that you've pushed the 'ensure-not-/dev' part, and I have that now
in my tree, but FYI it didn't solve the problem for me.  My system
'parameters' file contains:

  (store (device "/dev/mapper/jojen-root") (mount-point "/"))

and my grub.cfg still uses:

  search --label --set /dev/mapper/jojen-root

both in the top section (just before loading the font) and within the
default menu entry.  As before, an error is issued twice, each time this
command is run: just after entering my disk encryption password and
after selecting the default menu item.

Within the "old configurations" menu, all of the menu entries use:

  search --file --set /gnu/store/…-linux-libre-4.13.4/bzImage

I don't remember if this was the case before.

      Mark