blob: 92c308f02e7efe6c14084fbff63ba1b36a34a77e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
--- bin/isabelle-process.orig Sat Jan 12 16:42:22 2008
+++ bin/isabelle-process Sat Jan 12 16:42:58 2008
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
#
# $Id: isabelle-process,v 1.17 2006/12/04 20:33:36 aspinall Exp $
# Author: Markus Wenzel, TU Muenchen
@@ -16,12 +16,12 @@
PRG="$(basename "$0")"
ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
-source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
+. "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
## diagnostics
-function usage()
+usage()
{
echo
echo "Usage: $PRG [OPTIONS] [INPUT] [OUTPUT]"
@@ -49,7 +49,7 @@
exit 1
}
-function fail()
+fail()
{
echo "$1" >&2
exit 2
|
