diff options
Diffstat (limited to 'tools/data_server/Makefile')
| -rw-r--r-- | tools/data_server/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/data_server/Makefile b/tools/data_server/Makefile index d15f094..c741d0d 100644 --- a/tools/data_server/Makefile +++ b/tools/data_server/Makefile @@ -1,7 +1,7 @@ all : data_server -data_server : data_server.c os_generic.c - gcc -o $@ $^ -I. -lpthread +data_server : data_server.c ../../redist/os_generic.c + gcc -o $@ $^ -I. -lpthread -I../../redist clean : rm -rf data_server *.o *~ |