[Agda-dev] build error on master

[Andreas Abel]

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

On 07.03.2018 10:07, Nils Anders Danielsson wrote:
> On 2018-03-06 17:36, John Leo wrote:
>> [329 of 333] Compiling Agda.Interaction.InteractionTop (
>> src/full/Agda/Interaction/InteractionTop.hs,
>> dist/build/Agda/Interaction/InteractionTop.p_o )
> 
> Note that you were building Agda with profiling turned on (".p_o").
> 

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/