Ensure we build before ghci, due to #4148.#4149

Merged

mattaudesse merged 1 commit intomasterfrom mm-fix-ghci-sublibs-test

Jul 14, 2018

+1

Commits on Jul 11, 2018

Ensure we build before ghci, due to #4148 .
mihaimaruseac
committed