index
:
ports
2014Q1
2014Q2
2014Q3
2014Q4
2015Q1
2015Q2
2015Q3
2015Q4
2016Q1
2016Q2
2016Q3
2016Q4
2017Q1
2017Q2
2017Q3
2017Q4
2018Q1
2018Q2
2018Q3
2018Q4
2019Q1
2019Q2
2019Q3
2019Q4
2020Q1
2020Q2
2020Q3
2020Q4
2021Q1
2021Q2
2021Q3
2021Q4
2022Q1
2022Q2
2022Q3
2022Q4
2023Q1
2023Q2
2023Q3
2023Q4
2024Q1
2024Q2
2024Q3
2024Q4
main
FreeBSD ports tree
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
devel
/
linux_devtools-7
Commit message (
Expand
)
Author
Age
Files
Lines
*
Install packages with -U instead of -i. This should minimize the
Marcel Moolenaar
2000-01-10
1
-1
/
+1
*
Upgrade to Red Hat 6.1. This port also allows installing updates.
Marcel Moolenaar
2000-01-05
6
-1474
/
+3440
*
Make sure an install can be restarted after a failure. While I'm here, update
Marcel Moolenaar
1999-09-03
3
-3
/
+4
*
Change Id->FreeBSD.
David E. O'Brien
1999-08-25
1
-1
/
+1
*
chmod -> ${CHMOD}
Michael Haro
1999-08-22
1
-2
/
+2
*
Fix the way the port figures out if linux support is present in the kernel.
Marcel Moolenaar
1999-08-18
1
-7
/
+7
*
Create link for OSVERSION 320001 too, because the necessary kernel change
Marcel Moolenaar
1999-08-11
1
-2
/
+2
*
linux_devtools is the reincarnation of linux_devel and obsoletes both
Marcel Moolenaar
1999-07-21
6
-120
/
+5206
*
Add 'ONLY_FOR_ARCHS=i386' to linux_* ports.
Hidetoshi Shimokawa
1999-01-06
1
-1
/
+3
*
NO_WRKDIR is evil.
Satoshi Asami
1998-12-01
1
-3
/
+2
*
Unbreak for ELF
Justin M. Seger
1998-10-13
1
-2
/
+2
*
Mark BROKEN for ELF:
Justin M. Seger
1998-10-12
1
-1
/
+3
*
Use the MANx variables.
Tim Vanderhoek
1998-08-23
1
-1
/
+98
*
Smoothify style.
Tim Vanderhoek
1998-08-23
1
-4
/
+2
*
Use new MASTER_SITE_LOCAL variable from bsd.port.mk.
Satoshi Asami
1997-04-30
1
-2
/
+2
*
may as well sync this with the linux_lib port
Eric L. Hernes
1997-04-14
3
-5
/
+7
*
Make the comments match reality. Add master site on LOCAL_PORTS. Misc.
Satoshi Asami
1996-11-27
1
-6
/
+5
*
new port for linux_devel, The linux cross-development stuff
Eric L. Hernes
1996-11-26
4
-0
/
+34