diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2019-04-18 06:16:39 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-04-19 14:03:24 +0900 |
| commit | 0b64e21cc220a73f7a49d932d44e8cfc11532d0f (patch) | |
| tree | 2597cdc82fdadb402f274099acca9138fa6e1685 /git-gui | |
| parent | 5afb2ce4cd19b272c218ef5901265c2519204144 (diff) | |
Makefile: drop the NO_INSTALL variable
The last user was just removed; There is no longer any need to carry it
around. Should we ever run into a need for it again, it is easy enough
to revert this commit.
It is unlikely, though, that we need `NO_INSTALL` again: as we saw with
the just-removed item, `git-remote-testgit`, we have better locations
to put executables and scripts that we do not want to install, e.g.
a subdirectory in `t/`, or `contrib/`.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui')
0 files changed, 0 insertions, 0 deletions