diff options
author | rtm <rtm> | 2006-08-29 19:06:37 +0000 |
---|---|---|
committer | rtm <rtm> | 2006-08-29 19:06:37 +0000 |
commit | dfcc5b997ce9c313b9ac0e7d8da39c4416b472a8 (patch) | |
tree | 2d6c4e47bad6cfe7436896068a5872ace545a974 /Makefile | |
parent | d7ce6545e7179e9a4b950838c354b485e3f3fdb8 (diff) | |
download | xv6-labs-dfcc5b997ce9c313b9ac0e7d8da39c4416b472a8.tar.gz xv6-labs-dfcc5b997ce9c313b9ac0e7d8da39c4416b472a8.tar.bz2 xv6-labs-dfcc5b997ce9c313b9ac0e7d8da39c4416b472a8.zip |
prune unneeded panics and debug output
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -70,7 +70,7 @@ PRINT = \ string.c\ print: $(PRINT) -// ~/src/lgrind/source/lgrind -d ~/src/lgrind/lgrindef $(PRINT) > xv6.tex + //~/src/lgrind/source/lgrind -d ~/src/lgrind/lgrindef $(PRINT) > xv6.tex lgrind $(PRINT) > xv6.tex latex xv6.tex dvips -o xv61.ps xv6.dvi |