shellcheck suppression

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · May 13, 2024 · 51d77d1 · 51d77d1
1 parent 4ecf602
commit 51d77d1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/scripts/camkes.sh b/scripts/camkes.sh
@@ -90,6 +90,7 @@ curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_H
                                                                    BOOTSTRAP_HASKELL_INSTALL_STACK=1 \
                                                                    BOOTSTRAP_HASKELL_ADJUST_BASHRC=P sh
 
+# shellcheck disable=SC1091
 source /root/.ghcup/env
 
 # Pick a random group ID, one that won't clash with common user GIDs

diff --git a/scripts/sel4.sh b/scripts/sel4.sh
@@ -117,7 +117,6 @@ if [ "$DESKTOP_MACHINE" = "no" ] ; then
         exit 1
     fi
 
-    # shellcheck disable=SC2086
     for compiler in gcc-${compiler_version}-arm-linux-gnueabi \
                     cpp-${compiler_version}-arm-linux-gnueabi \
                     g++-${compiler_version}-arm-linux-gnueabi \
@@ -127,7 +126,7 @@ if [ "$DESKTOP_MACHINE" = "no" ] ; then
                     gcc-${compiler_version}-arm-linux-gnueabihf \
                     cpp-${compiler_version}-arm-linux-gnueabihf \
                     g++-${compiler_version}-arm-linux-gnueabihf \
-                    $MORE_COMP
+                    $MORE_COMP # shellcheck disable=SC2086
                     # end of list
     do
         echo "${compiler}"