ajaxorg/cloud9 — pull request #2381 by sergi (2012-10-31 11:50:31+00:00)
Title: Fix for ajaxorg/cloud9infra#2886

Avoids https://github.com/ajaxorg/cloud9infra/issues/2886 and logs information so we understand what is going on in some scenarios where the call to `patch_make` is using wrong parameters. Also, return on errors.

@ajaxorg/knuth @mikedeboer