Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /config/trunk/_run-sml
ViewVC logotype

Diff of /config/trunk/_run-sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 714, Mon Oct 23 23:39:43 2000 UTC revision 715, Thu Nov 2 07:51:04 2000 UTC
# Line 100  Line 100 
100          # "head" is called to make sure we consider only one matching line.          # "head" is called to make sure we consider only one matching line.
101          # (On linux SMP systems there is more than one such line.)          # (On linux SMP systems there is more than one such line.)
102          cache=`fgrep 'cache size' </proc/cpuinfo | head -1`          cache=`fgrep 'cache size' </proc/cpuinfo | head -1`
103          if [ $? = 0 ] ; then          if [ x$cache = x ] ; then
104                # No cache info in /proc/cputype.  No we are checking the CPU
105                # type....
106                cpu=`fgrep 'cpu     ' </proc/cpuinfo | head -1`
107                cputype=`echo $cpu | sed -e 's/^.*:[ \t]*\(.*\)$/\1/'`
108                case $cputype in
109                    586)
110                        # An old Pentium.  Seems to work best with 64k.
111                        # Some extreme cases run best with even less
112                        #  (32k, 16k, or even just 8k).
113                        ALLOC="@SMLalloc=64k"
114                        ;;
115                    *)
116                        ;;
117                esac
118            else
119              kb=`echo $cache | sed -e 's/^[^0-9]*\([0-9]*\).*$/\1/'`              kb=`echo $cache | sed -e 's/^[^0-9]*\([0-9]*\).*$/\1/'`
120              case $kb in              case $kb in
121                  128)                  128)

Legend:
Removed from v.714  
changed lines
  Added in v.715

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0