Home | History | Annotate | Download | only in utils

Lines Matching refs:jitdump

1073 # create jitdump directory and remove any old files from
1076 	local dumpdir=$SESSION_DIR/jitdump