X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Futils%2FMakefile;h=e38eb1f3dfa2972035eee486247e40e939a0be38;hb=231e61ee5370c93ba90af9525c0a9df34d87f0f1;hp=46a91247d7703bb161053e12fbcd39f749c274ba;hpb=ea904493370d2a752855cc93aad1e27b009dd917;p=pintos-anon 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