| changeset 2344 | c3e1eaea4418 |
| parent 2312 | 65ea8bbb4e02 |
| child 2390 | 4e183a4d9cd0 |
| 2343:2588b63b42ca | 2344:c3e1eaea4418 |
|---|---|
1 #!/bin/bash |
1 #!/bin/bash -norc |
2 # |
2 # |
3 # $Id$ |
3 # $Id$ |
4 # |
4 # |
5 # Emacs / Isamode interface. |
5 # Emacs / Isamode interface. |
6 # |
6 # |
9 |
9 |
10 ## diagnostics |
10 ## diagnostics |
11 |
11 |
12 function fail() |
12 function fail() |
13 { |
13 { |
14 echo "$1" |
14 echo "$1" >&2 |
15 exit 2 |
15 exit 2 |
16 } |
16 } |
17 |
17 |
18 |
18 |
19 ## main |
19 ## main |