[m-rev.] trivial diff: fix broken install_grades target

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

Fix the `install_grades' target.

scripts/prepare_tmp_dir_grade_part:
 	Copy the ssdb directory to tmp_dir.

Julien.

Index: scripts/prepare_tmp_dir_grade_part
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/scripts/prepare_tmp_dir_grade_part,v
retrieving revision 1.8
diff -u -r1.8 prepare_tmp_dir_grade_part
--- scripts/prepare_tmp_dir_grade_part	15 Aug 2007 04:01:07 -0000	1.8
+++ scripts/prepare_tmp_dir_grade_part	4 Oct 2007 07:26:26 -0000
@@ -65,4 +65,10 @@
  cp browser/.mgnuc* tmp_dir/browser
  cp browser/*FLAGS* tmp_dir/browser
  cp browser/*.m tmp_dir/browser
+mkdir tmp_dir/ssdb
+cp ssdb/Mmake* tmp_dir/sdb
+cp ssdb/Mercury.* tmp_dir/ssdb
+cp ssdb/.mgnuc* tmp_dir/ssdb
+cp ssdb/*FLAGS* tmp_dir/ssdb
+cp sddb/*.m tmp_dir/ssdb
  exit 0

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------