Hmm, it seems to be specific to old distros (likely old versions of flex and bison), on ubuntu 20.04 where I could reproduce --atexit issues, works fine. I need to get access to a centos 7 to see what flex/bison generates.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.