From e7e1e7b18fe6e26ffebd18fa2750ecd9717d9074 Mon Sep 17 00:00:00 2001
From: Lorenz Stechauner <lorenz.stechauner@necronda.net>
Date: Thu, 20 Oct 2022 22:07:51 +0200
Subject: [PATCH] Add debian target to Makefile

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index a46a7e5..625781d 100644
--- a/Makefile
+++ b/Makefile
@@ -11,6 +11,8 @@ default: bin bin/lib bin/libsesimos.so bin/sesimos
 prod: CFLAGS += -O3
 prod: default
 debug: default
+debian: CFLAGS += $(DEBIAN_OPTS)
+debian: prod
 
 
 bin: