tree 9695d7724dd0dcb1824d8bd6e51aa4006058c7db
parent 4fda4f50120fb8464fdce279f970c70bd9526d96
author Jussi Pakkanen <jpakkane@gmail.com> 1615405275 +0200
committer Jussi Pakkanen <jpakkane@gmail.com> 1615405275 +0200

Remove -pipe from default list of args. Closes #8508.