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