Further to renaming LICENCE file to LICENSE fix Makefile and CI. #11

CHERIoT-Platform · Jun 6, 2023 · 19ad1e9 · 19ad1e9
1 parent 8c5ec1f
commit 19ad1e9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
@@ -27,7 +27,7 @@ jobs:
         eval $(opam env) && make csim
         mkdir install
         cp c_emulator/cheriot_sim install
-        cp LICENCE install/LICENCE-cheriot-sail
+        cp LICENSE install/LICENCE-cheriot-sail
         cp sail-riscv/LICENCE install/LICENCE-sail-riscv
     - name: Upload artifact
       uses: actions/upload-artifact@v3

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
@@ -38,7 +38,7 @@ jobs:
   - script: |
       mkdir install
       cp c_emulator/cheriot_sim install
-      cp LICENCE install/LICENCE-cheriot-sail.txt
+      cp LICENSE install/LICENCE-cheriot-sail.txt
       cp sail-riscv/LICENCE install/LICENCE-sail-riscv.txt
     displayName: 'Preparing directory for upload'
   - publish: install