in system_xsb.c: make child ignore SIGINT (^C)
in dynelf_xsb.h: cosmetic changes
Authored by: kifer 2015-10-22
Parent: [r8492]
Child: [r8494]