diff options
author | Frans Kaashoek <[email protected]> | 2019-07-01 13:02:24 -0400 |
---|---|---|
committer | Frans Kaashoek <[email protected]> | 2019-07-01 13:02:24 -0400 |
commit | c34bd3d1671f1f6e1b50614c22fbd0c83f504959 (patch) | |
tree | 009c760458d5ab670dcb4489ac6bb3b1e4431541 /runoff | |
parent | 2c0338fe426401e3604ca5ec10d93c4f7512191b (diff) | |
download | xv6-labs-c34bd3d1671f1f6e1b50614c22fbd0c83f504959.tar.gz xv6-labs-c34bd3d1671f1f6e1b50614c22fbd0c83f504959.tar.bz2 xv6-labs-c34bd3d1671f1f6e1b50614c22fbd0c83f504959.zip |
Checkpoint some progress compiling xv6.pdf
Diffstat (limited to 'runoff')
-rwxr-xr-x | runoff | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -12,7 +12,10 @@ pad() # create formatted (numbered) files mkdir -p fmt -rm -f fmt/* +mkdir -p fmt/kernel +mkdir -p fmt/user +rm -f fmt/kernel/* +rm -f fmt/user/* cp README fmt echo > fmt/blank files=`grep -v '^#' runoff.list | awk '{print $1}'` |