diff options
author | Hans Hagen <pragma@wxs.nl> | 2010-02-08 19:42:00 +0100 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2010-02-08 19:42:00 +0100 |
commit | de251392fffd63bae7e586b9cf7a7991c30195ff (patch) | |
tree | e3d54fa2a68fb414856fc909aeea5e1f33e1ac69 /tex/context/base/l-os.lua | |
parent | ac5bb04c922ee746e65acbd513e8d604c363de1c (diff) | |
download | context-de251392fffd63bae7e586b9cf7a7991c30195ff.tar.gz |
beta 2010.02.08 19:42
Diffstat (limited to 'tex/context/base/l-os.lua')
-rw-r--r-- | tex/context/base/l-os.lua | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tex/context/base/l-os.lua b/tex/context/base/l-os.lua index d94c5b13a..7dd288877 100644 --- a/tex/context/base/l-os.lua +++ b/tex/context/base/l-os.lua @@ -231,6 +231,21 @@ elseif name == "freebsd" then return platform end +elseif name == "kfreebsd" then + + function os.resolvers.platform(t,k) + -- we sometims have HOSTTYPE set so let's check that first + local platform, architecture = "", os.getenv("HOSTTYPE") or os.resultof("uname -m") or "" + if find(architecture,"x86_64") then + platform = "kfreebsd-64" + else + platform = "kfreebsd-i386" + end + os.setenv("MTX_PLATFORM",platform) + os.platform = platform + return platform + end + else -- platform = "linux" |