diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2008-08-15 04:33:04 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2008-08-15 04:33:04 +0000 |
| commit | 0002baf18813f5041ee75b5ec58dbe402be8aadc (patch) | |
| tree | 8ef73fea6ccf16a0585301ef5f8f299d4b08b1cc /math/isabelle/files/patch-lib-scripts-timestart.bash | |
| parent | Forgotten in previous commit. (diff) | |
[MAINTAINER] math/isabelle: update from 2007 to 2008
Updates the port to the latest Isabelle release. It does
not seem worth the effort to continually patch the bash
script files to make them work under sh, hence the large
number of removed files.
PR: ports/126067
Submitted by: Timothy Bourke <timbob@bigpond.com>
Diffstat (limited to 'math/isabelle/files/patch-lib-scripts-timestart.bash')
| -rw-r--r-- | math/isabelle/files/patch-lib-scripts-timestart.bash | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/math/isabelle/files/patch-lib-scripts-timestart.bash b/math/isabelle/files/patch-lib-scripts-timestart.bash deleted file mode 100644 index bba13d73fc06..000000000000 --- a/math/isabelle/files/patch-lib-scripts-timestart.bash +++ /dev/null @@ -1,16 +0,0 @@ ---- lib/scripts/timestart.bash.orig Thu Dec 8 01:23:22 2005 -+++ lib/scripts/timestart.bash Sat Jan 12 17:53:32 2008 -@@ -10,9 +10,11 @@ - #set by configure - AUTO_PERL=perl - --function get_times () { -- local TMP="/tmp/get_times$$" -+get_times () { -+ local TMP SECONDS -+ TMP="/tmp/get_times$$" - times > "$TMP" # No pipe here! -+ SECONDS=$(( `date +'%j * 86400 + %H * 3600 + %M * 60 + %S'` )) - TIMES_RESULT="$SECONDS $(echo $(cat "$TMP") | "$AUTO_PERL" -pe 's,\d+m\d+\.\d+s \d+m\d+\.\d+s (\d+)m(\d+)\.\d+s +(\d+)m(\d+)\.\d+s, $1 * 60 + $2 + $3 * 60 + $4,e')" - rm -f "$TMP" - } |