Re: $(ARCH)-debian-linux-gnu

[Ian Jackson <ian@chiark.chu.cam.ac.uk>]

Erick Branderhorst writes ("$(ARCH)-debian-linux-gnu"):
> Should we use $(ARCH)-debian-linux-gnu as parameter for ./configure
> and $(ARCH)-debian-linux?  
> 
> If so can it specified in the guidelines.
> If not what should we use?

$(ARCH)-debian-linux, but $(ARCH) should usually be 486,
shouldn't it ?

I don't know what the $(ARCH) parameter changes with GNU software,
when you vary it between 386, 486, 586, &c.

When this is settled please remind me to mention this in the policy
manual.

Ian.