#3491 Fresh build with --disable-sdbinutils will fail.

[Deqing Sun]

Here is a colab notebook showing the bug
https://colab.research.google.com/drive/1XPTh83Uogg5c1L3UUJXxSkOP8Dix7AF7?usp=sharing

Even ./configure is run with --disable-sdbinutils
make still tried to run

make -C support/sdbinutils

And cause failure. The issue should be related to
https://sourceforge.net/p/sdcc/discussion/1865/thread/555addc46c/

[Phillip Stevens]

Also found this issue on Ubuntu22.04 and WSL1+Ubuntu22.04.

Further see #3555.

[Felix]

make still tried to run
make -C support/sdbinutils

This one is fixed in [r13894]. Looks like libiberty is inside the sdbinutils directory but used from other places...