1 files changed, 4 insertions, 2 deletions

diff --git a/Makefile b/Makefile
index e9e7c84..57f257a 100644
--- a/Makefile
+++ b/Makefile
@@ -59,13 +59,15 @@ all: $(BINARY) $(BINARY).debug
 CFLAGS_production = $(CFLAGS) $(OPTS_production) $(FEATURES)
 CFLAGS_debug = $(CFLAGS) $(OPTS_debug) $(FEATURES)
 
+SOURCES_proxy=proxy.c ot_vector.c ot_mutex.c
+
 $(BINARY): $(OBJECTS) $(HEADERS)
         $(CC) -o $@ $(OBJECTS) $(LDFLAGS)
         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)
+proxy: $(OBJECTS_proxy) $(HEADERS)
+        $(CC) -o $@ $(OBJECTS_proxy) $(LDFLAGS)
 
 .c.debug.o : $(HEADERS)
         $(CC) -c -o $@ $(CFLAGS_debug) $(<:.debug.o=.c)