From 981755b647fc09ecdc9765eb8cac72ec4a491406 Mon Sep 17 00:00:00 2001 From: Patrick Schleizer Date: Fri, 10 Nov 2023 14:41:05 -0500 Subject: [PATCH] CodeQL --- build.sh | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 build.sh diff --git a/build.sh b/build.sh new file mode 100644 index 0000000..b98ee27 --- /dev/null +++ b/build.sh @@ -0,0 +1,7 @@ +#!/bin/bash + +## For CodeQL. + +set -x +set -e +sudo --non-interactive make