diff options
| author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2011-01-25 16:05:12 -0500 |
|---|---|---|
| committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2011-01-25 16:05:12 -0500 |
| commit | 34263b39b9cdf08c33a4e920eef7b0fc78f02759 (patch) | |
| tree | 3e2763575e98e9e262c26a03836f4e342fca9b03 | |
| parent | 6bad2f0bdfcea7da7559bcee08ccc9d41f1aadc4 (diff) | |
don't require LITMUS^RT headers for 'make help'
It should be possible to see the help when the configuration is broken.
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -241,7 +241,7 @@ ifeq ($(MAKECMDGOALS),) | |||
| 241 | MAKECMDGOALS += all | 241 | MAKECMDGOALS += all |
| 242 | endif | 242 | endif |
| 243 | 243 | ||
| 244 | ifneq ($(filter-out dump-config clean,$(MAKECMDGOALS)),) | 244 | ifneq ($(filter-out dump-config clean help,$(MAKECMDGOALS)),) |
| 245 | 245 | ||
| 246 | # Pull in dependencies. | 246 | # Pull in dependencies. |
| 247 | -include ${obj-all:.o=.d} | 247 | -include ${obj-all:.o=.d} |