make packs

2023-04-17 01:32:47 +01:00
parent 58d1f26701
commit d3f49a3c01
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -20,6 +20,9 @@ push-%: src/%
 clean-%: src/%
 	rm -rf $^/bin $^/obj

+packs: pack-isn pack-isnd pack-isn.abst
+
 clean: clean-isnd clean-isn clean-isn.abst


+