blob: d4d44b60d4fd0a4033ae27236841bcf688e90b8b (
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
33
34
35
|
--- src/Pure/mk.orig Sun Jun 12 07:19:36 2005
+++ src/Pure/mk Sun Sep 2 19:22:39 2007
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
#
# $Id: mk,v 1.27 2005/06/11 21:19:36 wenzelm Exp $
# Author: Markus Wenzel, TU Muenchen
@@ -10,7 +10,7 @@
## diagnostics
-function usage()
+usage()
{
echo
echo "Usage: $PRG [OPTIONS]"
@@ -23,7 +23,7 @@
exit 1
}
-function fail()
+fail()
{
echo "$1" >&2
exit 2
@@ -81,7 +81,7 @@
# run isabelle
-SECONDS=0
+SECONDS=$(( `date +'%j * 86400 + %H * 3600 + %M * 60 + %S'` ))
if [ -z "$RAW" ]; then
ITEM="Pure"
|
