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

/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dmake_spec.sh54 SKEL="$SPEC/skel"
59 if [[ ! -d $SKEL ]]
61 echo Error: $SKEL is not a directory.
92 NAMES=`cd $SKEL; ls *.thy`
102 local archnames=`cd $SKEL/${arch}; ls *.thy`
110 echo "$SKEL/$NAME --> $SPECNONARCH/${arch}/$NAME"
116 echo "$SKEL/${arch}/$NAME --> $SPEC/${arch}/$NAME"

Completed in 25 milliseconds