From e10e184edaad411f149c6e3aed6ceb08d47ff9d9 Mon Sep 17 00:00:00 2001
From: rocky <rb@dustyfeet.com>
Date: Sun, 7 May 2017 09:13:50 -0400
Subject: [PATCH] --weak-verify on 3.3 with inclusion of last commit

Note that the result is sematically equivalent, so it is is correct.
---
 test/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/Makefile b/test/Makefile
index 6b997974..16aabd92 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -35,7 +35,7 @@ check-3.2: check-bytecode
 
 #: Run working tests from Python 3.3
 check-3.3: check-bytecode
-	$(PYTHON) test_pythonlib.py --bytecode-3.3 --verify $(COMPILE)
+	$(PYTHON) test_pythonlib.py --bytecode-3.3 --weak-verify $(COMPILE)
 
 #: Run working tests from Python 3.4
 check-3.4: check-bytecode check-3.4-ok check-2.7-ok