Commit 0b94d590d971de0b44b0db941c7a3e095f15fbc9

Khaled Hosny 2018-02-12T16:45:36

Rename --with-stdcpp → --with-libstdc++ Also improve wording a bit and fix make check in --with-libstdc++=yes.