[m-rev.] diff: bootcheck split c files

[Zoltan Somogyi]

tools/bootcheck:
	Delete the option for testing the split library, since we don't support
	--split-c-files anymore.

Zoltan.

cvs diff: Diffing .
Index: bootcheck
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/bootcheck,v
retrieving revision 1.181
diff -u -b -r1.181 bootcheck
--- bootcheck	24 Feb 2006 03:56:28 -0000	1.181
+++ bootcheck	23 Apr 2006 07:24:22 -0000
@@ -99,8 +99,6 @@
         Don't rebuild the stage 3 directory from scratch after
         building stage 1. Instead use the existing stage 3 directory
         as the starting point for mmake.
-    --test-split-library
-        Build the split version of the stage 2 library.
     --test-params
         When executing the test suite, use the stage 2 Mmake.params
         file.
@@ -181,7 +179,6 @@
 target=c
 test_grade=
 test_params=false
-test_split_library=false
 copy_runtime=false
 copy_boehm_gc=false
 copy_profilers=false
@@ -299,9 +296,6 @@
     --mercury-options)
         MERCURY_OPTIONS="$2"; export MERCURY_OPTIONS; shift ;;
 
-    --test-split-library)
-        test_split_library=true ;;
-
     -r|--copy-runtime)
         copy_runtime=true ;;
 
@@ -871,21 +865,6 @@
         else
             echo "building of stage 2 library not successful"
             exit 1
-        fi
-
-        if $test_split_library
-        then
-            if (cd $stage2dir/library && \
-                $MMAKE $mmake_opts $jfactor $STD_LIB_NAME.split.a)
-            then
-                echo "building of stage 2 split library successful"
-            else
-                echo "building of stage 2 split library not successful"
-                exit 1
-            fi
-
-            mv $stage2dir/library/$STD_LIB_NAME.split.a \
-                $stage2dir/library/$STD_LIB_NAME.a
         fi
 
         if (cd $stage2dir/mdbcomp && \
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------