mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-13 04:44:39 +00:00
Code Issues Projects Releases Wiki Activity

Fix a typo.

Browse Source 
Estimated hours taken: 0.1
Branches: main

Fix a typo.

scripts/prepare_tmp_dir_grade_part:
	s/sdb/ssdb/
This commit is contained in:
Julien Fischer
2007-10-05 05:21:27 +00:00
parent b452ad1b1e
commit 8260131b7a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/prepare_tmp_dir_grade_part
View File

@@ -66,7 +66,7 @@ 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/Mmake* tmp_dir/ssdb
cp ssdb/Mercury.* tmp_dir/ssdb
cp ssdb/.mgnuc* tmp_dir/ssdb
cp ssdb/*FLAGS* tmp_dir/ssdb