| 
					
				 | 
			
			
				@@ -1056,7 +1056,7 @@ if __name__ == "__main__": 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				             "type="]) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     except(getopt.GetoptError, err): 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				         # print help information and exit: 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-        print str(err) # will print something like "option -a not recognized" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+        print(str(err)) # will print something like "option -a not recognized" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				         usage() 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				         sys.exit(2) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     ctx={ "base": os.path.abspath(os.curdir), "root": os.path.abspath(os.curdir), "platform": "?-?-?", "platforms": [], "externals": {} } 
			 |