Skip to content

Instantly share code, notes, and snippets.

@ruskotron
Created September 11, 2015 15:17
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ruskotron/48614248d103caf9588c to your computer and use it in GitHub Desktop.
Save ruskotron/48614248d103caf9588c to your computer and use it in GitHub Desktop.
Run a build in the background ; write output to faster local 'scratch' ; on exit copy output into local dir
$ nohup bash -c "(. env.sh ; make all > /tmp/build.log.${!} 2>&1 ; mv /tmp/build.log.${!} .)" &
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment