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