diff options
author | 2015-04-01 02:32:56 +1100 | |
---|---|---|
committer | 2015-04-01 03:03:17 +1100 | |
commit | 399a5f914b3e21f0cbeefa395c8a5fe8cbff1a7b (patch) | |
tree | 1cfd7e4222aed68e5f5931056056a7324ab09831 /scripts/genie.lua | |
parent | 5c0388525233d7d802dfd087139899b4e7b6eb64 (diff) |
Get rid of unnecessary distro nonsense
Diffstat (limited to 'scripts/genie.lua')
-rw-r--r-- | scripts/genie.lua | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/scripts/genie.lua b/scripts/genie.lua index 906eeeb13d3..11fa2fed3a5 100644 --- a/scripts/genie.lua +++ b/scripts/genie.lua @@ -84,10 +84,6 @@ newoption { { "generic", "generic" }, { "debian-stable", "debian-stable" }, { "ubuntu-intrepid", "ubuntu-intrepid" }, - { "gcc44-generic", "gcc44-generic" }, - { "gcc45-generic", "gcc45-generic" }, - { "gcc46-generic", "gcc46-generic" }, - { "gcc47-generic", "gcc47-generic" }, }, } @@ -698,10 +694,6 @@ configuration { "linux-*" } links { "dl", } - defines - { - "DISTRO=" .. _OPTIONS["distro"] , - } if _OPTIONS["distro"]=="debian-stable" then defines { |