Fix (Ci) -> forgot to fix in last commit

withs · Mar 23, 2022 · 997555e · 997555e
1 parent f448cde
commit 997555e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/makefile b/makefile
@@ -7,7 +7,7 @@ deb:
 debc:
 	v . -o deb.c
 
-prd:
+prod:
 	v -prod -shared .
 
 test: