[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to avoid the double execution of a make info call?
From: |
SF Markus Elfring |
Subject: |
Re: How to avoid the double execution of a make info call? |
Date: |
Thu, 22 Jun 2017 16:26:58 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.0 |
> Your Makefile looks likely to rebuild .depend, a file that it includes.
> So, like Paul said:
>>> or else make has re-executed itself
>>> because this makefile or one of its
>>> included files was rebuilt;
Yes. - This can happen at the moment.
> I wonder about the information “Re-executing[1]: make --no-builtin-rules -d”
> there.
> Unfortunately, I do not recognise so far which rule triggers this action.
>
> Which condition checks should I add?
I imagine that my extra information display might be useful.
Should I check anyhow then if the included dependency file was modified?
Or is it more desirable to deactivate the message “modules without mli files”?
Regards,
Markus
- Re: Checking application of dependencies from make rules without recipes, (continued)
- Re: Checking application of dependencies from make rules without recipes, SF Markus Elfring, 2017/06/18
- Re: Checking application of dependencies from make rules without recipes, Paul Smith, 2017/06/18
- Re: Checking application of dependencies from make rules without recipes, SF Markus Elfring, 2017/06/18
- Re: Checking application of dependencies from make rules without recipes, Paul Smith, 2017/06/18
- Re: Checking application of dependencies from make rules without recipes, SF Markus Elfring, 2017/06/19
- Re: Checking application of dependencies from make rules without recipes, SF Markus Elfring, 2017/06/20
- Re: How to avoid the double execution of a make info call?, SF Markus Elfring, 2017/06/22
- Re: How to avoid the double execution of a make info call?, Paul Smith, 2017/06/22
- Re: How to avoid the double execution of a make info call?, SF Markus Elfring, 2017/06/22
- Re: How to avoid the double execution of a make info call?, Martin Dorey, 2017/06/22
- Re: How to avoid the double execution of a make info call?,
SF Markus Elfring <=
- Re: How to avoid the double execution of a make info call?, Paul Smith, 2017/06/22
- Re: How to avoid the double execution of a make info call?, SF Markus Elfring, 2017/06/22
- Re: Improving dependency specifications in make rules?, SF Markus Elfring, 2017/06/28
- Re: Checking application of dependencies from make rules without recipes, SF Markus Elfring, 2017/06/27
- Re: Checking application of dependencies from make rules without recipes, SF Markus Elfring, 2017/06/20
- Re: Checking application of dependencies from make rules without recipes, Paul Smith, 2017/06/20
- Re: Checking application of dependencies from make rules without recipes, SF Markus Elfring, 2017/06/20
- Re: Checking application of dependencies from make rules without recipes, Paul Smith, 2017/06/20
- Re: Checking application of dependencies from make rules without recipes, SF Markus Elfring, 2017/06/21
- RE: Checking application of dependencies from make rules without recipes, Martin Dorey, 2017/06/21