diff --git a/src/muscle/muscle3.8.31/mk b/src/muscle/muscle3.8.31/mk index 7fa37b3..3719d47 100755 --- a/src/muscle/muscle3.8.31/mk +++ b/src/muscle/muscle3.8.31/mk @@ -10,12 +10,13 @@ do done LINK_OPTS= -if [ `uname -s` == Linux ] ; then - LINK_OPTS=-static -fi -$CXX $LINK_OPTS $ENV_LINK_OPTS -g -o muscle $ObjNames >> muscle.make.stdout.txt 2>> muscle.make.stderr.txt +#if [ `uname -s` == Linux ] ; then +# LINK_OPTS=-static +#fi +#$CXX $LINK_OPTS $ENV_LINK_OPTS -g -o muscle $ObjNames >> muscle.make.stdout.txt 2>> muscle.make.stderr.txt +$CXX $LINK_OPTS $ENV_LINK_OPTS -O -o muscle $ObjNames >> muscle.make.stdout.txt 2>> muscle.make.stderr.txt tail muscle.make.stderr.txt -strip muscle -ls -lh muscle -sum muscle +#strip muscle +#ls -lh muscle +#sum muscle