diff options
| author | rpj <rpj> | 2001-07-03 02:00:09 +0000 |
|---|---|---|
| committer | rpj <rpj> | 2001-07-03 02:00:09 +0000 |
| commit | 663a1af0674c37774d310541e9b30c60316f2055 (patch) | |
| tree | c0f96f98c55cb98ecbd55dac2a5e1c60c00b280e /tests/Makefile | |
| parent | c156eacc8b9c6f33f89c7563f2821320be79c2e1 (diff) | |
Cosmetic changes.
Diffstat (limited to 'tests/Makefile')
| -rw-r--r-- | tests/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/Makefile b/tests/Makefile index 7fd32af..6ac342d 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -60,7 +60,7 @@ PASSES= loadfree.pass \ exception1.pass exception2.pass exception3.pass
BENCHRESULTS = \
- benchtest1.pass benchtest2.pass
+ benchtest1.bench benchtest2.bench benchtest3.bench benchtest4.bench
all:
@ $(ECHO) Run one of the following command lines:
@@ -144,6 +144,7 @@ clean: benchtest1.bench:
benchtest2.bench:
benchtest3.bench:
+benchtest4.bench:
cancel1.pass: create1.pass
cancel2.pass: cancel1.pass
cancel3.pass: context1.pass
|