]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Meta/Make: use dash by default
authorJunio C Hamano <gitster@pobox.com>
Thu, 26 May 2016 21:31:01 +0000 (14:31 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 26 May 2016 21:31:01 +0000 (14:31 -0700)
Make

diff --git a/Make b/Make
index 59bf91127d6e6c6dd6ba50bb9a4034eb956f1639..c1e1f61ad6bcd9005630c23fd9c673116036412d 100755 (executable)
--- a/Make
+++ b/Make
@@ -56,7 +56,7 @@ do
 done
 
 Wall="-Wall -Wvla -Wdeclaration-after-statement -Wno-format-zero-length${Wall+ $Wall}"
-tests= jobs= skip= oldtest= with_dash= testpen=
+tests= jobs= skip= oldtest= with_dash=y testpen=
 clean=:
 
 case `uname` in