1 files changed, 2 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index a18fb3e..269a109 100644
--- a/Makefile
+++ b/Makefile
@@ -60,6 +60,8 @@ $(BINARY): $(OBJECTS) $(HEADERS)
         strip $@
 $(BINARY).debug: $(OBJECTS_debug) $(HEADERS)
         $(CC) -o $@ $(OBJECTS_debug) $(LDFLAGS)
+proxy: proxy.o ot_vector.o $(HEADERS)
+        $(CC) -o $@ proxy.o ot_vector.o $(LDFLAGS)
 
 .c.debug.o : $(HEADERS)
         $(CC) -c -o $@ $(CFLAGS_debug) $(<:.debug.o=.c)