From bd68b911a82ae32bd24c085d7fc757812f62f802 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Mon, 5 Aug 2024 19:50:00 +0200
Subject: [PATCH] re-enable docteur unikernel now that 0.0.7 is out

---
 Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 35f75c8..989b6a4 100644
--- a/Makefile
+++ b/Makefile
@@ -13,6 +13,7 @@ BASE_TESTS = \
   tutorial/app_info \
   device-usage/clock \
   device-usage/conduit_server \
+  applications/docteur \
   device-usage/http-fetch \
   device-usage/kv_ro \
   device-usage/network \
@@ -29,8 +30,6 @@ BASE_TESTS = \
 # device-usage/pgx
 # disabled as it is incompatible with dune 3.7
 # device-usage/littlefs
-# disabled since docteur uses the old git & mirage-flow
-# applications/docteur
 
 ifeq ($(MODE),muen)
 	TESTS = $(BASE_TESTS)