[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Finding the dump

From: Eli Zaretskii
Subject: Re: Finding the dump
Date: Sun, 27 Jan 2019 18:56:21 +0200

> From: Andreas Schwab <address@hidden>
> Date: Sun, 27 Jan 2019 17:37:39 +0100
> Cc: address@hidden, address@hidden
> >> Having to use --dump-file is awkward.
> >
> > When you type it on the command line, yes.  But we are talking about a
> > shell script, where you add the --dump-file option once and for all.
> It's still awkward, because you have to know the full name, which
> depends on the version and architecture.

So your proposal is to have all the *.pdmp files in the same
directory, regardless of the version and architecture?  That's quite a
deviation from the current arrangement and policies.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]