One more fix

tahina-pro · Oct 27, 2017 · 1b655bc · 1b655bc
1 parent ff78429
commit 1b655bc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/Makefile b/test/Makefile
@@ -92,7 +92,7 @@ $(SALSA)/Hacl.Test.Chacha20.wasm: EXTRA+=-drop $(HACL_DROP)
 
 .PHONY: $(SALSA)/Hacl.Test.Chacha20.krml
 $(SALSA)/Hacl.Test.Chacha20.krml:
-	KREMLIN_ARGS=-wasm $(MAKE) -C $(SALSA) extract-c
+	KREMLIN_ARGS=-wasm $(MAKE) -C $(SALSA) chacha-c/out.krml
 	[ -e $(subst .krml,.out,$@) ] || ln -sf $(SALSA)/chacha-c $(subst .krml,.out,$@)
 	cp $(subst .krml,.out,$@)/out.krml $@