cvs commit: ports/math/coq Makefile

[Sergey Matveychuk]

sem         2004-12-20 21:37:52 UTC

  FreeBSD ports repository

  Modified files:
    math/coq             Makefile 
  Log:
  - Unbreak on amd64
    (Johan van Selst succesfully ran the test-suite
    on an amd64 running 6-CURRENT and ocaml-3.08.2)
  
  PR:             ports/75334
  Submitted by:   maintainer
  
  Revision  Changes    Path
  1.4       +1 -2      ports/math/coq/Makefile