configure - adapt Isabelle distribution to system environment
authorwenzelm
Mon Feb 17 17:22:19 1997 +0100 (1997-02-17)
changeset 265096234bf96bf9
parent 2649 2edc5b01e5a7
child 2651 60d8d06f84a5
configure - adapt Isabelle distribution to system environment
configure
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/configure	Mon Feb 17 17:22:19 1997 +0100
     1.3 @@ -0,0 +1,13 @@
     1.4 +#!/bin/sh
     1.5 +#
     1.6 +# $Id$
     1.7 +#
     1.8 +# configure - adapt Isabelle distribution to system environment
     1.9 +
    1.10 +if bash -norc -c ""
    1.11 +then
    1.12 +  bash lib/scripts/patch-scripts.bash
    1.13 +else
    1.14 +  echo "FATAL ERROR: bash not found!"
    1.15 +  exit 2
    1.16 +fi