mirror of
https://github.com/diamante0018/master-tool.git
synced 2026-11-05 10:51:58 +00:00
maint: remove unused premake5 option
This commit is contained in:
1 parent
5b8e07558e
commit
911cc93f6a
1 file changed
-4
@@ -83,10 +83,6 @@ if os.istarget("linux") or os.istarget("darwin") then
|
||||
linkoptions "-pthread"
|
||||
end
|
||||
|
||||
if _OPTIONS["dev-build"] then
|
||||
defines "DEV_BUILD"
|
||||
end
|
||||
|
||||
if os.getenv("CI") then
|
||||
defines "CI"
|
||||
end
|
||||
|
||||
Reference in new issue
Block a user