Use diff command of git bash in preference to wsl diff command.
authorHiroshi Inoue <h-inoue@dream.email.ne.jp>
Fri, 28 Feb 2020 04:44:44 +0000 (13:44 +0900)
committerHiroshi Inoue <h-inoue@dream.email.ne.jp>
Fri, 28 Feb 2020 05:23:23 +0000 (14:23 +0900)
commit16069cfe80901e2c0f5bb57c2895fff95fa46b7f
tree681e4f9bb212b62ba75a1306eff691e392e7c938
parentefc111d989cbf32405b5970545575b808ba7b64e
Use diff command of git bash in preference to wsl diff command.
Unfortunately >> (appending redirected output) doesn't work well with wsl.
test/runsuite.c