[Agda-dev] build error on master

[John Leo]

On Wed, Mar 7, 2018 at 2:42 AM, Andreas Abel <abela at chalmers.se> wrote:

> The defaults (profiling: yes/no) can be set in .cabal/config
>

Ah, thanks, that explains it. I figured there must be some global setting I
was missing. I must have turned this on for some reason at the last AIM and
then forgotten about it.

John
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda-dev/attachments/20180307/1e4f3244/attachment.html>