src/Tools/8bit/mk

eliminate get_def;

#!/bin/bash
#
# $Id$
#
# mk - build 8bit
#
# Assumes to be called with current directory 'Tools/8bit'

export ISABELLE8BIT=$PWD

mkdir -p bin
touch Makefile

gmake