jasonlanderson/graf — pull request #20 by jackfengibm (2014-10-24 03:38:40+00:00)
Title: use work_dir instead of home

$HOME directory can be a problem when a single hardware hosts multiple instances of GRAF. This PR switches to $WORK_DIR which users define instead.