1
#!/bin/bash
2
#
3
# $Id$
4
5
# mk - build 8bit.
6
7
# Assumes to be called with current directory 'Tools/8bit'
8
9
export ISABELLE8BIT=$(pwd)
10
touch Makefile
11
gmake