Changeset 10831


Ignore:
Timestamp:
Feb 4, 2005, 6:35:47 AM (15 years ago)
Author:
toby
Message:

wget is busted, force curl

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/lang/smlnj/Portfile

    r9987 r10831  
    1 # $Id: Portfile,v 1.2 2004/12/27 22:10:14 toby Exp $
     1# $Id: Portfile,v 1.3 2005/02/04 06:35:47 toby Exp $
    22
    33PortSystem 1.0
     
    7373
    7474### build ###
     75build.env            URLGETTER=curl
    7576build.cmd            ${worksrcpath}/config/install.sh
    7677build.target
Note: See TracChangeset for help on using the changeset viewer.