You can not select more than 25 topics
			Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
		
		
		
		
		
			
	
	
		
			
	
		
		
			
				
				
					
						
						
						
							 | 
							
							DOCKER_NAME ?= dinghao188/rcore-tutorial
 | 
						
						
						
						
							 | 
							
							.PHONY: docker build_docker
 | 
						
						
						
						
							 | 
							
							
 | 
						
						
						
						
							 | 
							
							docker:
 | 
						
						
						
						
							 | 
							
								docker run --rm -it --mount type=bind,source=$(shell pwd),destination=/mnt ${DOCKER_NAME}
 | 
						
						
						
						
							 | 
							
							
 | 
						
						
						
						
							 | 
							
							build_docker: 
 | 
						
						
						
						
							 | 
							
								docker build -t ${DOCKER_NAME} .
 |