From ecaabb26ca19a0cc4a59d5856dbc23f6d3ca473d Mon Sep 17 00:00:00 2001 From: Edwin Groothuis Date: Mon, 10 Sep 2007 12:11:09 +0000 Subject: Update port: math/isabelle Update to Isabelle port: * Works with updated sml-nj-devel port. * Does not require bash Thanks to Johannes 5 Joemann for helpful comments/patches. PR: ports/116046 Submitted by: Timothy Bourke --- math/isabelle/files/patch-lib-Tools-convert | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 math/isabelle/files/patch-lib-Tools-convert (limited to 'math/isabelle/files/patch-lib-Tools-convert') diff --git a/math/isabelle/files/patch-lib-Tools-convert b/math/isabelle/files/patch-lib-Tools-convert new file mode 100644 index 000000000000..97a0515e6ee2 --- /dev/null +++ b/math/isabelle/files/patch-lib-Tools-convert @@ -0,0 +1,17 @@ +--- ./lib/Tools/convert.orig Sun Sep 2 15:11:55 2007 ++++ ./lib/Tools/convert Sun Sep 2 15:48:00 2007 +@@ -1,4 +1,4 @@ +-#!/usr/bin/env bash ++#!/bin/sh + # + # $Id: convert,v 1.5 2005/04/26 17:50:57 wenzelm Exp $ + # Author: David von Oheimb, TU Muenchen +@@ -10,7 +10,7 @@ + + PRG="$(basename "$0")" + +-function usage() ++usage() + { + echo + echo "Usage: $PRG [FILES|DIRS...]" -- cgit v1.2.3