Fix release mode and add stubs.c as a dependency to compile C artifacts

mirage · Nov 2, 2020 · 8216aa5 · 8216aa5
1 parent ce373e1
commit 8216aa5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/freestanding/dune b/freestanding/dune
@@ -2,7 +2,7 @@
 
 (rule
  (deps blake2b.c blake2s.c md5.c ripemd160.c sha1.c sha256.c sha512.c sha3.c
-   whirlpool.c misc.c Makefile)
+   whirlpool.c misc.c stubs.c Makefile)
  (targets libdigestif_freestanding_stubs.a)
  (action
   (no-infer