From b7babc81e83be2ec46f44504c0f3ae85dbb51132 Mon Sep 17 00:00:00 2001
From: "B. Watson" <yalhcru@gmail.com>
Date: Fri, 15 Apr 2022 11:19:40 -0400
Subject: remove sbolint (moved to sbo-maintainer-tools repo)

---
 sbrun | 1 +
 1 file changed, 1 insertion(+)

(limited to 'sbrun')

diff --git a/sbrun b/sbrun
index 1eeeb73..252e17f 100755
--- a/sbrun
+++ b/sbrun
@@ -468,6 +468,7 @@ if [ "$TRACK" = "yes" ]; then
 	-I/var/tmp/\\* \
 	-I/root/.ccache/\\* \
 	-I/dev/pts/\\* \
+	-I/dev/shm/\\* \
 	--"
 
 fi
-- 
cgit v1.2.3