From 20cc3637c7268ceb8ca18ce55027ad8584e1cfd8 Mon Sep 17 00:00:00 2001
From: polwex <polwex@sortug.com>
Date: Sun, 22 Jun 2025 14:32:59 +0700
Subject: checkpoint

---
 bs5/server/dune | 2 --
 1 file changed, 2 deletions(-)

(limited to 'bs5/server/dune')

diff --git a/bs5/server/dune b/bs5/server/dune
index 19ff1eb..d0a8aca 100644
--- a/bs5/server/dune
+++ b/bs5/server/dune
@@ -1,8 +1,6 @@
 ; (include_subdirs qualified)
 
 (executable
- (enabled_if
-  (= %{profile} "dev"))
  (name server)
  (modules server)
  (libraries
-- 
cgit v1.2.3