mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-31 21:57:12 +00:00
Code Issues Releases Activity
23,308 Commits 45 Branches 99 Tags 3.2 GiB
79508f4c75
Commit Graph

3 Commits

Author SHA1 Message Date
Marcel Moolenaar
e5c0d0cef0 Make sure an install can be restarted after a failure. While I'm here, update 
DESCR and COMMENT so that they both contain the proper name of the port and
do not contain the word `emulation'.
 1999-09-03 07:52:51 +00:00
Marcel Moolenaar
1756707292 linux_devtools is the reincarnation of linux_devel and obsoletes both 
linux_devel and linux-devel. Both will be removed from the ports collection
at the proper time.

linux_devtools uses Red Hat 5.2 packages to install a basic development
environment. There's no functional difference between linux-devel and
linux_devtools. The name of the latter is preferred over the name of the
former.

This port is repository copied from linux_devel.

New name by: obrien
Reviewed by: hoek
Supervised by: asami
 1999-07-21 11:16:13 +00:00
Eric L. Hernes
362cb7b639 new port for linux_devel, The linux cross-development stuff 1996-11-26 23:15:07 +00:00