On Nov 25 2023, Emanuele Torre wrote: > But the bash executable still does not contain the legal_ symbols:
If bash does not reference any of the symbols in lib/sh/compat.c there is nothing pulling it in. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."