Skip to content

Commit 8231e56

Browse files
committed
ci: Fix check workflow after a750143
1 parent a750143 commit 8231e56

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

.github/workflows/check.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -26,10 +26,10 @@ jobs:
2626
run: cd kernel && ./get-deps
2727

2828
- name: Attempt to build the Vinix kernel (debug)
29-
run: cd kernel && make PROD=false CFLAGS="-D__vinix__ -O2 -g -pipe" V="../v/v" && make clean
29+
run: cd kernel && make PROD=false KCFLAGS="-D__vinix__ -O2 -g -pipe" KV="../v/v" && make clean
3030

3131
- name: Attempt to build the Vinix kernel (prod)
32-
run: cd kernel && make PROD=true CFLAGS="-D__vinix__ -O2 -g -pipe" V="../v/v" && make clean
32+
run: cd kernel && make PROD=true KCFLAGS="-D__vinix__ -O2 -g -pipe" KV="../v/v" && make clean
3333

3434
- name: Attempt to build the util-vinix (debug)
3535
run: cd util-vinix && make PROD=false V="$(realpath ../v/v)" VFLAGS="-os vinix -gc none" CFLAGS="-D__vinix__ -O2 -g -pipe" && make clean

0 commit comments

Comments
 (0)