[m-dev.] trivial diff: speedtest and deep profiling

[Zoltan Somogyi]

tools/speedtest:
	When preserving deep profiling data files, use a naming scheme that
	allows later invocations of speedtest to distinguish them from the
	saved compilers.

Zoltan.

Index: speedtest
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/speedtest,v
retrieving revision 1.10
diff -u -b -r1.10 speedtest
--- speedtest	2001/05/31 06:00:24	1.10
+++ speedtest	2001/06/03 16:42:37
@@ -95,7 +95,7 @@
 
 		if test -s Deep.data
 		then
-			mv Deep.data ../batch/`basename $file .gz`.run$count
+			mv Deep.data ../batch/Deep.data.`basename $file .gz`.run$count
 		fi
 
 		count=`expr $count + 1`
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------