Hi Andreas,
./configure --host=x86_64-linux-gnu
now prints 'x86_64-pc-linux-gnu'
Thanx for the help.
I did a little more tweaks:
./configure --host=x86_64 throws error
But
./configure --host=x86_64-f23-linux-gnu prints x86_64-f23-linux-gnu
./configure --host=x86_64-f23 prints x86_64-f23 throws error
./configure --host=x86_64-f23-gnu prints x86_64-f23-gnu
./configure --host=x86_64-f23-linux prints x86_64-f23-linux
Looks like one can embed distro name between ARCH and 'gnu'/'linux' or '-linux-gnu'
Thanx again!