diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2016-06-03 14:38:02 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2016-06-03 14:38:02 -0700 |
| commit | ec5ad66ee28ba2eac3141b720d48485dc978faab (patch) | |
| tree | 2dc3022e91fcbdc7bbf555f614c4c99e7c7d6dae /builtin/pull.c | |
| parent | Merge branch 'em/man-bold-literal' (diff) | |
| parent | Makefile: add $(DEVELOPER_CFLAGS) variable (diff) | |
| download | tgif-ec5ad66ee28ba2eac3141b720d48485dc978faab.tar.xz | |
Merge branch 'mm/makefile-developer-can-be-in-config-mak'
"make DEVELOPER=1" worked as expected; setting DEVELOPER=1 in
config.mak didn't.
* mm/makefile-developer-can-be-in-config-mak:
Makefile: add $(DEVELOPER_CFLAGS) variable
Makefile: move 'ifdef DEVELOPER' after config.mak* inclusion
Diffstat (limited to 'builtin/pull.c')
0 files changed, 0 insertions, 0 deletions