Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 292213
Collapse All | Expand All

(-)advi-1.7.3.orig/src/gs.ml (-1 / +1 lines)
Lines 140-146 Link Here
140 
    [|
 140 
    [|
141 
      "-q";
 141 
      "-q";
142 
      if !delaysafer then "-dDELAYSAFER" else "-dSAFER";
 142 
      if !delaysafer then "-dDELAYSAFER" else "-dSAFER";
143 
      "-";
 143 
      " ";
144 
    |]] in
 144 
    |]] in
145 

          145
          

        

        

          146
          
  let _ = debugs command;

          146
          
  let _ = debugs command;

        






  

  Return to bug 292213