git @ Cat's Eye Technologies Robin / d37d227
No, YOU build the robin executable first. Cat's Eye Technologies 11 years ago
1 changed file(s) with 1 addition(s) and 2 deletion(s). Raw diff Collapse all Expand all
00 #!/bin/sh
11
22 if [ ! -e bin/robin -a ! -e bin/robin.exe ]; then
3 echo "Please build the robin executable first."
4 exit 1
3 ./build.sh || exit 1
54 fi
65
76 FILES="doc/Fundamental_Semantics.markdown \