diff options
| author | klaar36 <klas.arvidsson@liu.se> | 2017-03-20 17:59:45 +0100 |
|---|---|---|
| committer | klaar36 <klas.arvidsson@liu.se> | 2017-03-20 17:59:45 +0100 |
| commit | f9003d89b17c039ab903f622580e61925e137523 (patch) | |
| tree | b46ab4f9745c96a78685ca29b6a18ed2531205d6 /src/Make.config | |
| parent | d9ae213323d0a036b7f3594de6822413a4c312c6 (diff) | |
| download | pintos-rs-f9003d89b17c039ab903f622580e61925e137523.tar.gz | |
added given files for standalone labs
Diffstat (limited to 'src/Make.config')
| -rw-r--r-- | src/Make.config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Make.config b/src/Make.config index aa7d572..69914d8 100644 --- a/src/Make.config +++ b/src/Make.config @@ -43,7 +43,7 @@ else endif # Compiler and assembler invocation. -DEFINES = +DEFINES = -DPINTOS WARNINGS = -Wall -W -Wstrict-prototypes -Wmissing-prototypes -Wsystem-headers # klaar36@ida 2015-03: -fno-omit-frame-pointer to get working backtrace # klaar36@ida 2016-05: -ffreestanding to assert freestanding environment |