Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 110233 | Differences between
and this patch

Collapse All | Expand All

(-)../usr/bin/mlton (-1 / +1 lines)
Lines 5-11 Link Here
5 
set -e
 5 
set -e
6 

          6
          

        

        

          7
          
dir=`dirname "$0"`

          7
          
dir=`dirname "$0"`

        

          
            

              8
              
lib='/usr/lib/mlton'


              8
              
lib='/usr/lib/mlton'

            

        

          9
          
eval `"$lib/platform"`

          9
          
eval `"$lib/platform"`

        

        

          10
          
gcc='gcc'

          10
          
gcc='gcc'

        

        

          11
          
case "$HOST_OS" in

          11
          
case "$HOST_OS" in

        






  

  Return to bug 110233