cvs commit: ports/ports-mgmt/porttools Makefile

[Dmitry Marakasov]

amdmi3      2012-04-01 20:06:07 UTC

  FreeBSD ports repository

  Modified files:
    ports-mgmt/porttools Makefile 
  Log:
  - Add OPTIONS
  
  PR:             166524
  Submitted by:   myself
  Approved by:    Johannes 5 Joemann <joemann at beefree.free.de> (maintainer)
  Feature safe:   yes
  
  Revision  Changes    Path
  1.31      +9 -5      ports/ports-mgmt/porttools/Makefile