changeset 6029 | 30c957a74803 |
parent 3007 | e5efa177ee0c |
child 9818 | 71de955e8fc9 |
6028:1bfd52528bde | 6029:30c957a74803 |
---|---|
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 -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 |