| changeset 15574 | b1d1b5bfc464 |
| parent 14981 | e73f8140af78 |
| child 15733 | 75b9219980d3 |
| 15573:cf53c2dcf440 | 15574:b1d1b5bfc464 |
|---|---|
78 |
78 |
79 |
79 |
80 # standalone binaries |
80 # standalone binaries |
81 |
81 |
82 #set by configure |
82 #set by configure |
83 AUTO_BASH=bash |
83 AUTO_BASH=/bin/bash |
84 |
84 |
85 case "$AUTO_BASH" in |
85 case "$AUTO_BASH" in |
86 /*) |
86 /*) |
87 BASH="$AUTO_BASH" |
87 BASH="$AUTO_BASH" |
88 ;; |
88 ;; |