adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

regression: use local Haskell kernel for spec-check

This commit is contained in:
Japheth Lim 2016-05-24 14:17:14 +10:00
parent ebc7cbe584
commit 4fe15eac00
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
misc/scripts/test_spec.sh
View File

@ -119,7 +119,7 @@ function test_filenames () {
# Generate spec.
cd ${HASKELL_TRANS}
export L4CAP="${BASE}/../seL4/haskell"
export L4CAP="${BASE}/spec/haskell"
echo "Generating spec from haskell..."
for ARCH in ${ARCHES[@]}