Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Don't use bash-specific scripting in the Makefile #18

Closed
humenda opened this issue Feb 16, 2017 · 5 comments
Closed

Don't use bash-specific scripting in the Makefile #18

humenda opened this issue Feb 16, 2017 · 5 comments

Comments

@humenda
Copy link
Member

humenda commented Feb 16, 2017

In one of the Makefiles, SHELL=bash is set. It's questionable whether depending on a particular shell, especially from a Makefile, is a good idea.

@decentral1se
Copy link

whether depending on a particular shell

But it's the most likely shell? On which *NIX-like system is bash not installed?

Just passing by and saw this, I'm no Makefile expert either ;)

@humenda
Copy link
Member Author

humenda commented Mar 16, 2017 via email

@decentral1se
Copy link

Debian's default shell is dash, for performance reasons, I believe.

Ah, I did not know. Seems like you are on the right track then 👍

@joostvb-gh
Copy link

joostvb-gh commented Mar 17, 2017 via email

@humenda
Copy link
Member Author

humenda commented May 1, 2017

I was reconsidering this issue. I think the remarks on "most of the systems have bash" are actually true. I would rather Since this is very low priority at the moment, I close this issue. For new code in makefiles, I do want to see POSIX and non-bash-specific code and if anybody has the time to work on tis rather simple issue, please feel free to submit a PR.
Thanks

@humenda humenda closed this as completed May 1, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants