ci: correctly copy linux-headers

Adding the `/` at the end allows for symlinking the directory and avoiding a cp error.
managarm · Dec 26, 2023 · a30b3c1 · a30b3c1
1 parent 2c71bee
commit a30b3c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/bootstrap.yml b/ci/bootstrap.yml
@@ -166,7 +166,7 @@ packages:
     from_source: linux
     configure:
       # custom build system requires in tree-ish builds
-      - args: ['cp', '-Tr', '@THIS_SOURCE_DIR@', '.']
+      - args: ['cp', '-Tr', '@THIS_SOURCE_DIR@/', '.']
     build:
       - args: |
           LINUX_ARCH="@OPTION:arch@"