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

If the -g / --copy-boehm-gc option was specified, symlink the

Browse Source 
Estimated hours taken: 0.25

tools/bootcheck:
	If the -g / --copy-boehm-gc option was specified, symlink the
	subdirectory "boehm_gc/include", rather than the non-existant
	"boehm_gc/includes".
This commit is contained in:
Warwick Harvey
1998-12-02 00:49:29 +00:00
parent 11a749a32d
commit 6d1644ce10
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tools/bootcheck
View File

@@ -305,7 +305,7 @@ then
ln -s $root/boehm_gc/*.h .
ln -s $root/boehm_gc/*.c .
ln -s $root/boehm_gc/*.s .
ln -s $root/boehm_gc/includes .
ln -s $root/boehm_gc/include .
cp $root/boehm_gc/Mmake* .
cp $root/boehm_gc/Makefile .
cd $root/stage2_sicstus
@@ -535,7 +535,7 @@ then
ln -s $root/boehm_gc/*.h .
ln -s $root/boehm_gc/*.c .
ln -s $root/boehm_gc/*.s .
ln -s $root/boehm_gc/includes .
ln -s $root/boehm_gc/include .
cp $root/boehm_gc/Mmake* .
cp $root/boehm_gc/Makefile .
ln -s $root/boehm_gc/machdeps .