Initial revision

[helm.git] / helm / DEVEL / pxp / netstring / tools / Makefile

diff --git a/helm/DEVEL/pxp/netstring/tools/Makefile b/helm/DEVEL/pxp/netstring/tools/Makefile
new file mode 100644 (file)
index 0000000..b3c148d
--- /dev/null
+++ b/helm/DEVEL/pxp/netstring/tools/Makefile
@@ -0,0 +1,10 @@
+all:
+       $(MAKE) -C unimap_to_ocaml
+
+clean:
+
+CLEAN: clean
+       $(MAKE) -C unimap_to_ocaml CLEAN
+
+distclean: clean
+       $(MAKE) -C unimap_to_ocaml distclean