Commit b695e7d7 authored by Sylvain Henry's avatar Sylvain Henry Committed by Marge Bot

Rename ghci flag into internal-interpreter

"ghci" as a flag name was confusing because it really enables the
internal-interpreter. Even the ghci library had a "ghci" flag...
parent ce42e187
Pipeline #24735 failed with stages
in 302 minutes and 1 second