forked from Github_Repos/cvw
		
	correct the HASH
This commit is contained in:
		
							parent
							
								
									ec84ce98ab
								
							
						
					
					
						commit
						a34a1e6238
					
				@ -1,5 +1,7 @@
 | 
				
			|||||||
#!/bin/bash
 | 
					#!/bin/bash
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					IMP_HASH=56b1479
 | 
				
			||||||
 | 
					
 | 
				
			||||||
REPO=davidharrishmc
 | 
					REPO=davidharrishmc
 | 
				
			||||||
REPO=eroom1966
 | 
					REPO=eroom1966
 | 
				
			||||||
git clone https://github.com/${REPO}/riscv-wally -b imperas
 | 
					git clone https://github.com/${REPO}/riscv-wally -b imperas
 | 
				
			||||||
@ -17,7 +19,7 @@ pushd external
 | 
				
			|||||||
        git clone https://github.com/Imperas/ImperasDV-HMC
 | 
					        git clone https://github.com/Imperas/ImperasDV-HMC
 | 
				
			||||||
    fi
 | 
					    fi
 | 
				
			||||||
    pushd ImperasDV-HMC
 | 
					    pushd ImperasDV-HMC
 | 
				
			||||||
        git checkout fac563d
 | 
					        git checkout $IMP_HASH
 | 
				
			||||||
    popd
 | 
					    popd
 | 
				
			||||||
popd
 | 
					popd
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
				
			|||||||
		Loading…
	
		Reference in New Issue
	
	Block a user