edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-28 05:32:03 +03:00
Code Issues Projects Releases Wiki Activity

Simplify 'test' target in libs/network/Makefile

Browse Source
This commit is contained in:
Kamil Shakirov 2020-03-02 16:27:55 +06:00
parent 052c98d86e
commit 30830de5b7
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
libs/network/Makefile
View File

@ -47,9 +47,9 @@ clean :
rm -rf $(OBJS) $(LIBTARGET) $(DYLIBTARGET) build
test: build test.c
cp $(DYLIBTARGET) lib$(DYLIBTARGET) # to make C linker happy
$(CC) -o network-tests -L. -I. test.c -l$(LIBNAME)
$(CC) -o network-tests -L. -I. test.c $(DYLIBTARGET)
LD_LIBRARY_PATH=. ./network-tests
@rm -f ./network-tests
./lib-tests
$(OBJS): $(HDRS)