-
Notifications
You must be signed in to change notification settings - Fork 80
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
USE_CCACHE logic with $(shell which) does not work properly #194
Comments
Weird. You stated Bash 4.3.48 in #193. Is that Bash the distro-vanilla Bash? How does each of your other shells behave? Is there any chance to try attributing a Make or Bash bug? |
From the bash manual:
Looks like you have to switch the redirection order. |
Oh, I understand now. So there was no shell or make oddity, but a probably unintended swap when the redirection was firstly written, arising as a problem years later, after eventually being combined with an uncommonly verbose flavor of Thanks! |
The current Makefile tries to check for the availability of ccache with:
I'm not a Makefile expert, but this seems to have several issues:
CCACHE?=ccache
is expanded too late, so whenUSE_CCACHE?=
is called the$(CCACHE)
variable is empty in my case, triggering thewhich
usage log as shown in Makefile: Fix display of configure report on Bash #193.CCACHE:=ccache
or passingmake CCACHE=ccache
, the redirection to /dev/null does not seem to work as expected. See e.g. with a purposedly typoedCCACHE
definition:The text was updated successfully, but these errors were encountered: