From 911cc93f6a69f761d163af41c8c0ec43e6451b42 Mon Sep 17 00:00:00 2001
From: Edo <edoardo.sanguineti222@gmail.com>
Date: Sun, 13 Nov 2022 22:18:56 +0000
Subject: [PATCH] maint: remove unused premake5 option

---
 premake5.lua | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/premake5.lua b/premake5.lua
index d3d2cb2..0bec753 100644
--- a/premake5.lua
+++ b/premake5.lua
@@ -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