diff options
| author | Robert Morris <rtm@csail.mit.edu> | 2010-08-31 19:21:52 -0400 | 
|---|---|---|
| committer | Robert Morris <rtm@csail.mit.edu> | 2010-08-31 19:21:52 -0400 | 
| commit | 23c3e52c2fb5f1709bf5053a8e93161931b56bf9 (patch) | |
| tree | cb51f605a35de8980efce5dcab3e5df9757c022a /runoff | |
| parent | 3597d5dc704c192a85b9902f7264fe9025aad277 (diff) | |
| parent | 5048762c7e27789a014cc1e74e1002e749c924ce (diff) | |
| download | xv6-labs-23c3e52c2fb5f1709bf5053a8e93161931b56bf9.tar.gz xv6-labs-23c3e52c2fb5f1709bf5053a8e93161931b56bf9.tar.bz2 xv6-labs-23c3e52c2fb5f1709bf5053a8e93161931b56bf9.zip | |
Merge branch 'master' of git+ssh://amsterdam.csail.mit.edu/home/am0/6.828/xv6
Diffstat (limited to 'runoff')
| -rwxr-xr-x | runoff | 16 | 
1 files changed, 9 insertions, 7 deletions
| @@ -82,23 +82,25 @@ perl -e '  			next;  		} -		if(/(left|right): (.*)/){ +		if(/(left|right)(\+?): (.*)/){  			$what = $1; -			$file = $2; +			$tens = ($2 eq "+" ? "5" : "0"); +			$file = $3;  			if(!defined($toc{$file})){  				print STDERR "Have no toc for $file\n";  				next;  			} -			# this assumes that sheet 1 of code is a left page -			# double-check the PDF +			# this assumes that sheet 1 of code is a right page +			# double-check the PDF.  swap the two regexps below +			# otherwise.  			if(!$leftwarn++) { -				print STDERR "assuming that sheet 1 is a left page.  double-check!\n"; +				print STDERR "assuming that sheet 1 is a right page.  double-check!\n";  			} -			if($what eq "left" && !($toc{$file} =~ /^\d[13579]0/)){ +			if($what eq "left" && !($toc{$file} =~ /^\d[02468]$tens/)){  				print STDERR "$file does not start on a fresh left page [$toc{$file}]\n";  			}  			# why does this not work if I inline $x in the if? -			$x = ($toc{$file} =~ /^\d[02468]0/); +			$x = ($toc{$file} =~ /^\d[13579]$tens/);  			if($what eq "right" && !$x){  				print STDERR "$file does not start on a fresh right page [$toc{$file}] [$x]\n";  			} | 
