#!/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