Merge branch 'js/no-builtins-on-disk-option' into maint
authorJunio C Hamano <gitster@pobox.com>
Thu, 22 Oct 2020 22:01:21 +0000 (15:01 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 22 Oct 2020 22:01:22 +0000 (15:01 -0700)
commit380ba9907737fea75c9e6bbce9df04c556fbf882
tree6282668a80c7a4fdd61e5d8721350f2973899f6d
parent69986e19ffcfb9af674ae5180689ab7bbf92ed28
parent907e6379d0af4c5412b73dd2f3799ecc634cf059
Merge branch 'js/no-builtins-on-disk-option' into maint

Brown-paper-bag fix.

* js/no-builtins-on-disk-option:
  SKIP_DASHED_BUILT_INS: do not skip the bin/ programs
Makefile