wenzelm@2650: #!/bin/sh
wenzelm@2650: #
wenzelm@2650: # $Id$
wenzelm@2650: #
wenzelm@2650: # configure - adapt Isabelle distribution to system environment
wenzelm@2650: 
wenzelm@2650: if bash -norc -c ""
wenzelm@2650: then
wenzelm@2650:   bash lib/scripts/patch-scripts.bash
wenzelm@2650: else
wenzelm@2650:   echo "FATAL ERROR: bash not found!"
wenzelm@2650:   exit 2
wenzelm@2650: fi