X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile.userprog;h=f90b08c965e365022aa78b0d97eb417c0160c6b4;hb=ed04361f6ec91e4f0db1550c2cc487a461b2d17b;hp=3631cf1b221b2a3bf3e5e0fb02457338a39132db;hpb=c4d3a0df42588f919931e786d398e418b6ce6179;p=pintos-anon

diff --git a/src/Makefile.userprog b/src/Makefile.userprog
index 3631cf1..f90b08c 100644
--- a/src/Makefile.userprog
+++ b/src/Makefile.userprog
@@ -3,7 +3,7 @@
 $(PROGS): CPPFLAGS += -I$(SRCDIR)/lib/user -I.
 
 # Linker flags.
-$(PROGS): LDFLAGS = -nostdlib -static -Wl,-T,$(LDSCRIPT)
+$(PROGS): LDFLAGS += -nostdlib -static -Wl,-T,$(LDSCRIPT)
 $(PROGS): LDSCRIPT = $(SRCDIR)/lib/user/user.lds
 
 # Library code shared between kernel and user programs.