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

Zoltan Somogyi zs at cs.mu.OZ.AU
Mon Jun 4 14:37:01 AEST 2001

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


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
-			mv Deep.data ../batch/`basename $file .gz`.run$count
+			mv Deep.data ../batch/Deep.data.`basename $file .gz`.run$count
 		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

More information about the developers mailing list