From 7135092dd76a14fe6ff8ed939334585b66dacacf Mon Sep 17 00:00:00 2001
From: Jost Berthold <jost.berthold@gmail.com>
Date: Wed, 31 Jan 2024 15:36:30 +1100
Subject: [PATCH] activate smoke tests in mvn verify

---
 k-distribution/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/k-distribution/Makefile b/k-distribution/Makefile
index ee2349cfc55..d6dfaa5a490 100644
--- a/k-distribution/Makefile
+++ b/k-distribution/Makefile
@@ -1,3 +1,3 @@
-SUBDIRS=tests/regression-new tests/builtins/collections
+SUBDIRS=tests/regression-new tests/builtins/collections tests/smoke
 
 include include/kframework/ktest-group.mak