Cannot run make '/bin/sh: 1: : Permission denied'

[SiegeLord]

Here's the sequence of events that lead up to the error:

1. I updated a dirty directory to the newest master via git pull this morning to commit b8ef9fd
2. I ran make -j8 || make -j8
3. I ran sudo make install

At this point I was greeted with:

/bin/sh: 1: : Permission denied
cfg: build triple 
cfg: host triples 
cfg: target triples 
cfg: enabling more debugging (CFG_ENABLE_DEBUG)
cfg: using 
mk/platform.mk:131: *** please try on a system with gcc or clang.  Stop.

Invoking make again (even under sudo) produces the same set of messages.

OS: Ubuntu 13.10

[SiegeLord]

cc @brson

[brson]

I'll investigate.

[brson]

I haven't been able to reproduce this, but hope it's related to #13190, which I fixed yesterday.

[SiegeLord]

Removing those two files didn't help.

While trying to get to the bottom of this, I accidentally deleted config.mk which required me to re-run the configure script. Doing so un-broke make, but meant that I had no chance to figure out why this happened. Either way, hopefully it won't happen again.

[pnkfelix]

@SiegeLord if it happens again, I recommend you try debugging the result with remake, the GNU Make debugger, passing the --trace option to get readable output explaining what make is doing and why.

http://bashdb.sourceforge.net/remake/

apt-get install remake