1 #!/bin/sh
2 #
3 # $Id$
4 #
5 # configure - adapt Isabelle distribution to system environment
6
7 ## patch scripts
8
9 if bash -c :
10 then
11 bash lib/scripts/patch-scripts.bash
12 else
13 echo "FATAL ERROR: bash not found!"
14 exit 2
15 fi