Reputation
Top tag
Next privilege 200 Rep.
See reduced ads
Badges
5
Newest
 Scholar
Impact
~900 people reached

  • 0 posts edited
  • 0 helpful flags
  • 2 votes cast
Mar
19
awarded  Scholar
Mar
19
accepted Forcing GNU make to run commands in order
Mar
17
comment Forcing GNU make to run commands in order
@D4RIO: perhaps add the > /dev/null 2>&1 version to your answer to make it complete?
Mar
17
comment Forcing GNU make to run commands in order
@Gilles: I tried to be clever, thinking "my $SHELL is bash", but well. Indeed, \bin\sh is a symlink to \bin\dash. Mystery (essentially) solved. Thank you very much.
Mar
17
comment Forcing GNU make to run commands in order
@Gilles: /bin/bash is not a symbolic link. So it's kind of odd that &> doesn't work. But I'll live with that unknown: the maintainer is happy to change to the more canonical form > /dev/null 2>&1.
Mar
17
comment Forcing GNU make to run commands in order
@D4RIO: I'll propose that to the package maintainer. By the way, echo $SHELL yields /bin/bash, and bash --version gives 4.1.5(1)-release (i486-pc-linux-gnu)
Mar
17
comment Forcing GNU make to run commands in order
@Gilles: <noob question> how do I know what shell I'm using? And is there a protable alternative?
Mar
17
awarded  Supporter
Mar
17
comment Forcing GNU make to run commands in order
Thank you for your quick answer. That seems reasonable. Is it possible to avoid changing the Makefile? (I doubt it) I'll ask the maintainers of the Makefile why they did it that way and report back here.
Mar
17
awarded  Editor
Mar
17
revised Forcing GNU make to run commands in order
Added the terminal output
Mar
17
comment Forcing GNU make to run commands in order
I would agree... But it does :-s.
Mar
17
awarded  Student
Mar
17
asked Forcing GNU make to run commands in order
Mar
17
awarded  Autobiographer