diff options
Diffstat (limited to 'zkvms/nexus/default.nix')
| -rw-r--r-- | zkvms/nexus/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/zkvms/nexus/default.nix b/zkvms/nexus/default.nix index a7f74e0..003edb7 100644 --- a/zkvms/nexus/default.nix +++ b/zkvms/nexus/default.nix @@ -45,7 +45,7 @@ in hostBin = "host-nexus"; guestTarget = "riscv32i-unknown-none-elf"; - extraGuestArgs = "-- --cfg 'feature=\"no_std\"' -C link-arg=-T${guest/guest.ld}"; + extraGuestArgs = "--features no_std -- -C link-arg=-T${guest/guest.ld}"; buildGuestPhase = '' pushd guest |