From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 17 Oct 2004 23:31:35 +0000 (+0000)
Subject: Add -s to LDFLAGS to strip output binaries.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=94fedb7acb238d6a5cb29c5f17af70ac1f24eb40;p=pintos-anon

Add -s to LDFLAGS to strip output binaries.
---

diff --git a/src/tests/userprog/Makefile b/src/tests/userprog/Makefile
index 290ed7d..5413882 100644
--- a/src/tests/userprog/Makefile
+++ b/src/tests/userprog/Makefile
@@ -22,7 +22,7 @@ recursor_SRC = recursor.c
 shell_SRC = shell.c
 
 # Linker flags.
-LDFLAGS = -nostdlib -static
+LDFLAGS = -nostdlib -static -s
 LDLIBS = $(shell $(CC) -print-libgcc-file-name)
 
 # Uncomment the line below to round up segment sizes to full pages for