Windiws10

WSLのgccを7.2にする。

　WSL（Windows Subusystem for Linux）でdistccにスレーブとして参加させるためにgccのバージョンを上げました。 　2018/2/16現在のWSLのバージョンはUbuntu16.04です […]