[m-rev.] diff: tools/bootcheck --compile-times

[Zoltan Somogyi]

tools/bootcheck:
	Add an option, --compile-times, for recording how long compilation took
	in stage2's library and compiler directories.

Zoltan.

Index: tools/bootcheck
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/bootcheck,v
retrieving revision 1.115
diff -u -b -r1.115 bootcheck
--- tools/bootcheck	2001/03/08 06:51:52	1.115
+++ tools/bootcheck	2001/04/24 13:46:26
@@ -77,6 +77,9 @@
 	--use-subdirs
 		Assume intermediate files are built in subdirectories.
 		(Same as the \`--use-subdirs' option to mmake and mmc.)
+	--compile-times
+		Report information about compilation times in the stage 2
+		library and compiler directories.
 	--type-stats TYPE_STATS_FILE_NAME
 		Collect statistics about the builtin operations (unify, index
 		and compare) performed on various types. The argument of this
@@ -124,6 +127,7 @@
 else
 	use_subdirs=${MMAKE_USE_SUBDIRS=no}
 fi
+compile_times=false
 type_stats=""
 
 # If you change these, you will also need to change scripts/ml.in,
@@ -219,6 +223,11 @@
 	--no-use-subdirs)
 		use_subdirs=no ;;
 
+	--compile-times)
+		compile_times=true ;;
+	--no-compile-times)
+		compile_times=false ;;
+
 	--type-stats)
 		type_stats="$2"; shift ;;
 
@@ -560,6 +569,14 @@
 	else
 		echo "building of stage 2 not successful"
 		exit 1
+	fi
+
+	if $compile_times
+	then
+		ls -lt stage2/library/*.c
+		ls -lt stage2/library/*.o
+		ls -lt stage2/compiler/*.c
+		ls -lt stage2/compiler/*.o
 	fi
 
 	if $stop_after_stage_2
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------