Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
mkdir -p bin;
authorwenzelm
Wed, 05 Nov 1997 19:40:50 +0100
changeset 4177 77f65eb64da4
parent 4176 84a0bfbd74e5
child 4178 e64ff1c1bc70
mkdir -p bin;
src/Tools/8bit/mk file | annotate | diff | comparison | revisions 
--- 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
isabelle