configure
author wenzelm
Mon Feb 17 17:22:19 1997 +0100 (1997-02-17)
changeset 2650 96234bf96bf9
child 2655 9420efbb868e
permissions -rwxr-xr-x
configure - adapt Isabelle distribution to system environment
     1 #!/bin/sh
     2 #
     3 # $Id$
     4 #
     5 # configure - adapt Isabelle distribution to system environment
     6 
     7 if bash -norc -c ""
     8 then
     9   bash lib/scripts/patch-scripts.bash
    10 else
    11   echo "FATAL ERROR: bash not found!"
    12   exit 2
    13 fi