From d0e3eaa1689837172bd4b26ebc6acd2cd36a5524 Mon Sep 17 00:00:00 2001
From: elisehaldane <107867060+elisehaldane@users.noreply.github.com>
Date: Tue, 30 Jul 2024 10:08:06 +0100
Subject: [PATCH] Fix loop to count pots correctly

---
 files/extra-files/etc/rc.d/dsbd_lab | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/files/extra-files/etc/rc.d/dsbd_lab b/files/extra-files/etc/rc.d/dsbd_lab
index 02c0f71..9f21835 100755
--- a/files/extra-files/etc/rc.d/dsbd_lab
+++ b/files/extra-files/etc/rc.d/dsbd_lab
@@ -165,7 +165,7 @@ wipe_pots() {
 }
 
 start_pots() {
-    count=$(pot ls -p -q | wc -l)
+    count=$(pot ls -p -q | grep -ci 'cheribsd')
     max_runners=3
 
     . $HOME/.profile