Yue,
What shell do you use? What does "echo $HOSTTYPE" return on your machine?
Hans,
did you make modifications of the following code?
local architecture = os.getenv("HOSTTYPE") or ""
if architecture == "" then
architecture = os.resultof("uname -m") or ""
end
if architecture == "" then
local architecture = os.resultof("echo $HOSTTYPE")
end
if name == "linux" then
if find(architecture,"x86_64") then
os.platform = "linux-64"
I'm afraid that this might break some shells in linux and other OS-es as well.
Mojca
_______________________________________________
Mailing list: https://launchpad.net/~context
Post to : [email protected]
Unsubscribe : https://launchpad.net/~context
More help : https://help.launchpad.net/ListHelp
