[Agda-dev] --program-suffix on maint

Nils Anders Danielsson nad at cse.gu.se
Wed Mar 25 12:36:23 CET 2015


On 2015-03-25 09:32, Ulf Norell wrote:
> Will the travis build break if I put back the program suffix? It
> shouldn't right, since the suffix only affects how the binaries are
> installed?

I think you are right.

-- 
/NAD


More information about the Agda-dev mailing list