update-menus and the Hurd

[Daniel Burrows <dburrows@debian.org>]

  Is update-menus supposed to work?  The version in the archive got
"signal 13", whatever that is, when trying to run every menu script, and
one I built myself gave me this:

update-menus: Encountered an unknown errno (=1073741942).
update-menus: Could you please be so kind as to email joostje@debian.org
update-menus: the errno (=1073741942) with a discription of what you did to
update-menus: trigger this. Thanks very much.
Press enter

  I suppose I could try actually debugging it, but I was wondering if someone
could tell me what these numbers mean.  Is 2^30 the infamous EGRATUITOUS?

   Thanks,
  Daniel

-- 
/-------------------- Daniel Burrows <dburrows@debian.org> -------------------\
|           Imagine if every Thursday your shoes exploded if you              |
|           tied them the usual way.  This happens to us all the              |
|           time with computers, and nobody thinks of complaining.            |
\------- (if (not (understand-this)) (go-to http://www.schemers.org)) --------/