X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Futils%2FMakefile;h=e38eb1f3dfa2972035eee486247e40e939a0be38;hp=46a91247d7703bb161053e12fbcd39f749c274ba;hb=231e61ee5370c93ba90af9525c0a9df34d87f0f1;hpb=2a7028b32e0b34edc8d3d570af1d0d810bea36b4 diff --git a/src/utils/Makefile b/src/utils/Makefile index 46a9124..e38eb1f 100644 --- a/src/utils/Makefile +++ b/src/utils/Makefile @@ -2,7 +2,7 @@ all: setitimer-helper squish-pty squish-unix CC = gcc CFLAGS = -Wall -W -LDFLAGS = -lm +LOADLIBES = -lm setitimer-helper: setitimer-helper.o squish-pty: squish-pty.o squish-unix: squish-unix.o