[m-rev.] trivial diff: fix another typo in prepare_tmp_dir_grade_part

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

Fix a typo.

scripts/prepare_tmp_dir_grade_part:
 	s/sdb/ssdb/

Julien.

Index: prepare_tmp_dir_grade_part
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/scripts/prepare_tmp_dir_grade_part,v
retrieving revision 1.10
diff -u -r1.10 prepare_tmp_dir_grade_part
--- prepare_tmp_dir_grade_part	5 Oct 2007 04:03:57 -0000	1.10
+++ prepare_tmp_dir_grade_part	5 Oct 2007 05:20:23 -0000
@@ -66,7 +66,7 @@
  cp browser/*FLAGS* tmp_dir/browser
  cp browser/*.m tmp_dir/browser
  mkdir tmp_dir/ssdb
-cp ssdb/Mmake* tmp_dir/sdb
+cp ssdb/Mmake* tmp_dir/ssdb
  cp ssdb/Mercury.* tmp_dir/ssdb
  cp ssdb/.mgnuc* tmp_dir/ssdb
  cp ssdb/*FLAGS* tmp_dir/ssdb

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------