changeset 3007 | e5efa177ee0c |
parent 2754 | 59bd96046ad6 |
child 6029 | 30c957a74803 |
3006:8a1eb4531fbb | 3007:e5efa177ee0c |
---|---|
4 # |
4 # |
5 # configure - adapt Isabelle distribution to system environment |
5 # configure - adapt Isabelle distribution to system environment |
6 |
6 |
7 ## patch scripts |
7 ## patch scripts |
8 |
8 |
9 if bash -norc -c "" |
9 if bash -c "" |
10 then |
10 then |
11 bash lib/scripts/patch-scripts.bash |
11 bash lib/scripts/patch-scripts.bash |
12 else |
12 else |
13 echo "FATAL ERROR: bash not found!" |
13 echo "FATAL ERROR: bash not found!" |
14 exit 2 |
14 exit 2 |