test

au-ts · Dec 15, 2023 · 71b53a3 · 71b53a3
1 parent 1920add
commit 71b53a3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -26,7 +26,7 @@ jobs:
           tar xf aarch64-toolchain.tar.gz
           echo "$(pwd)/arm-gnu-toolchain-11.3.rel1-x86_64-aarch64-none-elf/bin" >> $GITHUB_PATH
       - name: Build Kitty example
-        run: make -C examples/kitty MICROKIT_SDK=$(pwd)/microkit-sdk-1.2.6
+        run: echo $LIBCC && make -C examples/kitty MICROKIT_SDK=$(pwd)/microkit-sdk-1.2.6
         env:
           NFS_SERVER: 0.0.0.0
           NFS_DIRECTORY: test/