| author | berghofe |
| Fri, 02 May 1997 16:21:04 +0200 | |
| changeset 3097 | ae362c99a635 |
| parent 3007 | e5efa177ee0c |
| child 6029 | 30c957a74803 |
| permissions | -rwxr-xr-x |
| wenzelm@2650 | 1 |
#!/bin/sh |
| wenzelm@2650 | 2 |
# |
| wenzelm@2650 | 3 |
# $Id$ |
| wenzelm@2650 | 4 |
# |
| wenzelm@2650 | 5 |
# configure - adapt Isabelle distribution to system environment |
| wenzelm@2650 | 6 |
|
| wenzelm@2655 | 7 |
## patch scripts |
| wenzelm@2655 | 8 |
|
| wenzelm@3007 | 9 |
if bash -c "" |
| wenzelm@2650 | 10 |
then |
| wenzelm@2650 | 11 |
bash lib/scripts/patch-scripts.bash |
| wenzelm@2650 | 12 |
else |
| wenzelm@2650 | 13 |
echo "FATAL ERROR: bash not found!" |
| wenzelm@2650 | 14 |
exit 2 |
| wenzelm@2650 | 15 |
fi |