From 0159c8bb941772d91537037ff2489a9261d740ca Mon Sep 17 00:00:00 2001
From: kolya <kolya>
Date: Wed, 24 Sep 2008 18:20:56 +0000
Subject: [PATCH] trap 9 does not push ec: fix from Greg Price <price@mit.edu>

---
 vectors.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vectors.pl b/vectors.pl
index 499aa74..51bddd1 100755
--- a/vectors.pl
+++ b/vectors.pl
@@ -12,7 +12,7 @@ print ".globl alltraps\n";
 for(my $i = 0; $i < 256; $i++){
     print ".globl vector$i\n";
     print "vector$i:\n";
-    if(($i < 8 || $i > 14) && $i != 17){
+    if(!($i == 8 || ($i >= 10 && $i <= 14) || $i == 17)){
         print "  pushl \$0\n";
     }
     print "  pushl \$$i\n";