Searched defs:savecore (Results 1 - 5 of 5) sorted by relevance

/src/distrib/utils/embedded/conf/
H A Devbppc.conf92 savecore=NO key
H A Driscv.conf84 savecore=NO key
H A Devbarm.conf111 savecore=NO key
H A Devbmips.conf93 savecore=NO key
/src/etc/defaults/
H A Drc.conf128 savecore=YES savecore_flags="-z" key

Completed in 4 milliseconds