diff options
Diffstat (limited to 'profiles/prefix/mint/make.defaults')
| -rw-r--r-- | profiles/prefix/mint/make.defaults | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/profiles/prefix/mint/make.defaults b/profiles/prefix/mint/make.defaults deleted file mode 100644 index 89ce23bd9145..000000000000 --- a/profiles/prefix/mint/make.defaults +++ /dev/null @@ -1,12 +0,0 @@ -# Copyright 1999-2014 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -# System-wide defaults for all MiNT profiles -# This file should rarely need to be changed - -# 'Sane' defaults -ELIBC="mintlib" -KERNEL="freemint" - -# openmp: bug #515616 -USE="fortran static-libs -openmp" |