Merge pull request #11 from eroom1966/imperas

Imperas
This commit is contained in:
Lee Moore 2023-01-19 14:56:44 +00:00 committed by GitHub
commit 74610d0aa8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,5 +1,7 @@
#!/bin/bash
IMP_HASH=56b1479
REPO=davidharrishmc
REPO=eroom1966
git clone https://github.com/${REPO}/riscv-wally -b imperas
@ -17,7 +19,7 @@ pushd external
git clone https://github.com/Imperas/ImperasDV-HMC
fi
pushd ImperasDV-HMC
git checkout fac563d
git checkout $IMP_HASH
popd
popd