From 3d28838756d578bfcdd32ab435fd48d5150d6300 Mon Sep 17 00:00:00 2001
From: "Glenn Y. Rolland" <glenux@glenux.net>
Date: Thu, 25 Nov 2021 17:49:25 +0100
Subject: [PATCH] make: add shell target

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

diff --git a/Makefile b/Makefile
index bbb7aa1..aed93b0 100755
--- a/Makefile
+++ b/Makefile
@@ -234,3 +234,5 @@ docker-push:
 docker-pull:
 	docker pull glenux/teaching-boilerplate:latest
 
+shell:
+	$(SHELL) -c "exec $${SHELL}"