summaryrefslogtreecommitdiff
path: root/math/isabelle/files/patch-lib-scripts-feeder
blob: 2c0963651e3a781d1a950c4f532a4fd73155976b (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
--- ./lib/scripts/feeder.orig	Sun Sep  2 15:12:50 2007
+++ ./lib/scripts/feeder	Sun Sep  2 15:54:12 2007
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
 #
 # $Id: feeder,v 1.10 2005/04/26 17:50:58 wenzelm Exp $
 # Author: Markus Wenzel, TU Muenchen
@@ -11,7 +11,7 @@
 PRG="$(basename "$0")"
 DIR="$(dirname "$0")"
 
-function usage()
+usage()
 {
   echo
   echo "Usage: $PRG [OPTIONS]"
@@ -27,7 +27,7 @@
   exit 1
 }
 
-function fail()
+fail()
 {
   echo "$1" >&2
   exit 2