diff options
Diffstat (limited to 'profiles/prefix/mint/make.defaults')
| -rw-r--r-- | profiles/prefix/mint/make.defaults | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/profiles/prefix/mint/make.defaults b/profiles/prefix/mint/make.defaults new file mode 100644 index 00000000..33ad4929 --- /dev/null +++ b/profiles/prefix/mint/make.defaults @@ -0,0 +1,10 @@ +# Copyright 1999-2008 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/profiles/prefix/mint/make.defaults,v 1.2 2009/06/30 16:35:02 darkside Exp $ + +# System-wide defaults for all MiNT profiles +# This file should rarely need to be changed + +# 'Sane' defaults +ELIBC="mintlib" +KERNEL="freemint" |