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.
		
		
		
		
		
			
		
			
				
					
					
						
							18 lines
						
					
					
						
							357 B
						
					
					
				
			
		
		
		
			
			
			
				
					
				
				
					
				
			
		
		
	
	
							18 lines
						
					
					
						
							357 B
						
					
					
				| #!/bin/sh | |
|  | |
| if [ "$(basename "$(readlink /bin/sh)")" = "bash" ]; then | |
|     shellopts="+h" | |
|     moreps1="\u:\w " | |
| fi | |
| 
 | |
| umask 022 | |
| env -i \ | |
|     HOME=$HOME \ | |
|     TERM=$TERM \ | |
|     PS1="(buildenv) $moreps1\$ " \ | |
|     LC_ALL=C \ | |
|     PATH=/tools/bin:$PATH \ | |
|     MAKEFLAGS=$MAKEFLAGS \ | |
|     rocket=$rocket \ | |
|     target=$(uname -m)-rocket-linux-gnu \ | |
|     /bin/sh $shellopts
 | |
| 
 |