index f7dab7da7822f842c5088647d1f7a00c78d487f9..f25d28af9dd5f538c90024ac17b2ceb97757a661 100755 (executable)
--- a/make.sh
+++ b/make.sh
DswDocuments DswOpts DswProcs DswHostProcs DswMakeMain
if $_dolink; then
DswDocuments DswOpts DswProcs DswHostProcs DswMakeMain
if $_dolink; then
- chmod a+x cpc486 cpl486 cpfront
+ if [ "$_system" = "osx" ]; then
+ chmod a+x cpc486.out cpl486.out cpfront.out
+ else
+ chmod a+x cpc486 cpl486 cpfront
+ fi
fi
}
fi
}