diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 1999-11-29 19:04:15 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 1999-11-29 19:04:15 +0000 |
| commit | 09bcfadbcfa1684b1d22133bd11ebc6011e1c808 (patch) | |
| tree | 7266dc0810b2f9522272ed50495da774697cea22 /test | |
| parent | a9127cb36f4574bafed2e20dea7d21e8c50ea4d3 (diff) | |
| download | ocaml-09bcfadbcfa1684b1d22133bd11ebc6011e1c808.tar.gz | |
tabs -> spaces; ajout notice copyright
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2628 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'test')
| -rw-r--r-- | test/testinterp/addbytecode.mpw | 16 | ||||
| -rw-r--r-- | test/testinterp/runtest.mpw | 14 |
2 files changed, 29 insertions, 1 deletions
diff --git a/test/testinterp/addbytecode.mpw b/test/testinterp/addbytecode.mpw index ccd238d945..8d96ab2802 100644 --- a/test/testinterp/addbytecode.mpw +++ b/test/testinterp/addbytecode.mpw @@ -1,6 +1,20 @@ +######################################################################### +# # +# Objective Caml # +# # +# Damien Doligez, projet Para, INRIA Rocquencourt # +# # +# Copyright 1999 Institut National de Recherche en Informatique et # +# en Automatique. All rights reserved. This file is distributed # +# under the terms of the Q Public License version 1.0. # +# # +######################################################################### + +# $Id$ + set echo 0 -Set f "`Files -f -q "{1}"`" # get full pathnames +Set f "`Files -f -q "{1}"`" # get full pathnames exit if `evaluate "{f}" =~ /(Å)¨0.ml/` != 1 set base "{¨0}" diff --git a/test/testinterp/runtest.mpw b/test/testinterp/runtest.mpw index 0866ba6c7e..a304c8a2dc 100644 --- a/test/testinterp/runtest.mpw +++ b/test/testinterp/runtest.mpw @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Damien Doligez, projet Para, INRIA Rocquencourt # +# # +# Copyright 1999 Institut National de Recherche en Informatique et # +# en Automatique. All rights reserved. This file is distributed # +# under the terms of the Q Public License version 1.0. # +# # +######################################################################### + +# $Id$ + # usage: runtest.mpw [-bc] [-run <runtime>] [-start <n>] <file>É set echo 0 |