Searched refs:find_dir (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dmake_spec.sh16 function find_dir () { function
36 TRANSLATOR=$(find_dir "tools/haskell-translator")
38 SPEC=$(find_dir "spec/design")
42 L4CAP=$(find_dir "spec/haskell")

Completed in 78 milliseconds