# HG changeset patch
# User wenzelm
# Date 878755250 -3600
# Node ID 77f65eb64da4dbd347cbad81603bad71c6bdf7e1
# Parent  84a0bfbd74e58e0b5f46373274e7b386db2a9924
mkdir -p bin;

diff -r 84a0bfbd74e5 -r 77f65eb64da4 src/Tools/8bit/mk
--- a/src/Tools/8bit/mk	Wed Nov 05 19:39:34 1997 +0100
+++ b/src/Tools/8bit/mk	Wed Nov 05 19:40:50 1997 +0100
@@ -2,10 +2,13 @@
 #
 # $Id$
 #
-# mk - build 8bit.
+# mk - build 8bit
 #
 # Assumes to be called with current directory 'Tools/8bit'
 
-export ISABELLE8BIT=$(pwd)
+export ISABELLE8BIT=$PWD
+
+mkdir -p bin
 touch Makefile
+
 gmake