changeset 14981 | e73f8140af78 |
parent 10512 | d34192966cd8 |
14980:267cc670317a | 14981:e73f8140af78 |
---|---|
1 # -*- shell-script -*- |
1 # -*- shell-script -*- |
2 # $Id$ |
2 # $Id$ |
3 # Author: Markus Wenzel, TU Muenchen |
3 # Author: Markus Wenzel, TU Muenchen |
4 # License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
5 # |
4 # |
6 # patch-scripts.bash - relocate interpreter paths of executable scripts and |
5 # patch-scripts.bash - relocate interpreter paths of executable scripts and |
7 # insert AUTO_BASH/AUTO_PERL values |
6 # insert AUTO_BASH/AUTO_PERL values |
8 # |
7 # |
9 |
8 |