projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Clarifications.
[pintos-anon]
/
src
/
Makefile.userprog
diff --git
a/src/Makefile.userprog
b/src/Makefile.userprog
index 4cdf078ab9898f36ccbdec5835692b7a8c1c71b4..90506a0c180eb30e54727abd4966b043b428f2f1 100644
(file)
--- a/
src/Makefile.userprog
+++ b/
src/Makefile.userprog
@@
-6,11
+6,15
@@
SHELL = /bin/sh
VPATH = $(SRCDIR)
VPATH = $(SRCDIR)
-DEFINES = -DUSER
-CPPFLAGS = -nostdinc -I$(SRCDIR) -I- -I$(SRCDIR)/lib -I$(SRCDIR)/lib/user
+DEFINES = -D
PINTOS -D
USER
+CPPFLAGS = -nostdinc -I$(SRCDIR) -I- -I$(SRCDIR)/lib -I$(SRCDIR)/lib/user
-I.
# Linker flags.
# Linker flags.
-LDFLAGS = -nostdlib -static -s
+# If you want to include debug symbols, comment out the STRIP assignment,
+# or invoke `make' as `make STRIP='.
+# Otherwise debug symbols will be omitted from executables to save space.
+STRIP = -s
+LDFLAGS = -nostdlib -static $(STRIP)
LDLIBS = $(shell $(CC) -print-libgcc-file-name)
# C library sources linked into every test program.
LDLIBS = $(shell $(CC) -print-libgcc-file-name)
# C library sources linked into every test program.