help-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: how to use a different /bin/sh with GNU Make?


From: Mark Galeck
Subject: Re: how to use a different /bin/sh with GNU Make?
Date: Fri, 16 Oct 2015 02:45:08 +0000 (UTC)

It's great Paul- thank you!  Except,  when I do your modification and compile 
Make, it then segfaults :)  

As my first boss, who was Hawaiian, would say "Auwe!".  


Well it looks like I will have to find out why it segfaults...
or maybe try and avoid the "goto" and hope that maybe then the compiled app 
will not segfault, I don't really like goto's, in my opinion they make the code 
impossible to understand.  


----- Original Message -----
From: Paul Smith <address@hidden>

(...) 

To this:

  /* See if it is safe to parse commands internally.  */
  goto slow;
  if (shell == 0)
    shell = default_shell;

so it always chooses the slow path.

Note I didn't try this.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]