Stopping and Restarting Jobs

• bprun will kill running jobs when interrupted

• make will kill running jobs and delete the target file when interrupted

• bpsh propagates interrupts and kills running job

• A make sequence can be restarted by just doing make again when proper dependencies are specified, i.e. what is produced

  • Watch for intermediate files that don't get deleted when make is interrupted

Notes: