diff options
Diffstat (limited to 'ov/Makefile.in')
| -rw-r--r-- | ov/Makefile.in | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/ov/Makefile.in b/ov/Makefile.in new file mode 100644 index 0000000..ee8c37e --- /dev/null +++ b/ov/Makefile.in @@ -0,0 +1,15 @@ +TARG = oid_to_type oid_to_sym + +all: $(TARG) + +oid_to_type: oid_to_type.in ../sedscript + $(SED) -f ../sedscript $(srcdir)/oid_to_type.in > oid_to_type + +oid_to_sym: oid_to_sym.in ../sedscript + $(SED) -f ../sedscript $(srcdir)/oid_to_sym.in > oid_to_sym + +clean: + rm -f $(TARG) + +install: + |