diff options
| author | Rong-En Fan <rafan@FreeBSD.org> | 2008-04-04 12:15:22 +0000 |
|---|---|---|
| committer | Rong-En Fan <rafan@FreeBSD.org> | 2008-04-04 12:15:22 +0000 |
| commit | aa57d936aac8d6c15b9906af94a0c42b80abdfb2 (patch) | |
| tree | 24c687b2ee1da6bf17a0c13b46a288a7c8520ad3 /math/isabelle/files/patch-lib-Tools-mkproject | |
| parent | - Update to 3.7 (diff) | |
- Update to 2007
PR: ports/121000
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
Diffstat (limited to 'math/isabelle/files/patch-lib-Tools-mkproject')
| -rw-r--r-- | math/isabelle/files/patch-lib-Tools-mkproject | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/math/isabelle/files/patch-lib-Tools-mkproject b/math/isabelle/files/patch-lib-Tools-mkproject new file mode 100644 index 000000000000..069af7d50cb9 --- /dev/null +++ b/math/isabelle/files/patch-lib-Tools-mkproject @@ -0,0 +1,17 @@ +--- lib/Tools/mkproject.orig Sat Jan 12 17:18:15 2008 ++++ lib/Tools/mkproject Sat Jan 12 17:18:41 2008 +@@ -1,4 +1,4 @@ +-#!/usr/bin/env bash ++#!/bin/sh + # + # $Id: mkproject,v 1.2 2007/08/09 17:19:23 wenzelm Exp $ + # Author: David Aspinall and Makarius Wenzel +@@ -7,7 +7,7 @@ + + PRG="$(basename "$0")" + +-function usage() ++usage() + { + echo + echo "Usage: $PRG NAME" |