Closed yutannihilation closed 9 years ago
Thank you for submitting this pull request, however I do not see a valid CLA on file for you. Before we can merge this request please visit https://yahoocla.herokuapp.com/ and agree to the terms. Thanks! :smile:
@yahoocla Thank you for your notation! I signed the CLA :)
Hi yutannihilation-
It turns out that each line of make targets run in their own subshell, so pushd/popd isn't needed. Please let me know if the last commit (278db4b3364c74335f2c09f16b9dbc98295aec65), doesn't fix your issue.
Thanks!
.timrc
@timrc-git Thanks! I confirmed the problem is fixed at HEAD :+1:
I'm using Ubuntu 14.04. I had no problem with
make
, butmake install
fails with the following error messages:pushd
andpopd
are bash built-in commands. But Ubuntu's default shell is dash, where those commands are not available. To make things work, the environmental variableSHELL
should be specified in Makefile.(I'm not familiar with Makefile. Sorry if this pull request is not a good way of setting
SHELL
...)cf. GNU make - 5.3.2 Choosing the Shell