README-builds.html
changeset 7360 39aa1820e934
parent 6366 f2ef5ff052aa
child 7649 b63dcad65b80
child 7650 6a3a53d8eacc
equal deleted inserted replaced
7359:605f5b8e8ecf 7360:39aa1820e934
   522             GNU version of the utility command <tt>make</tt>
   522             GNU version of the utility command <tt>make</tt>
   523             (<tt><i>gmake</i></tt>).
   523             (<tt><i>gmake</i></tt>).
   524             A few notes about using GNU make:
   524             A few notes about using GNU make:
   525             <ul>
   525             <ul>
   526                 <li>
   526                 <li>
   527                     In general, you need GNU make version 3.78.1 or newer.
   527                     In general, you need GNU make version 3.81 or newer.
   528                 </li>
   528                 </li>
   529                 <li>
   529                 <li>
   530                     Place the location of the GNU make binary in the <tt>PATH</tt>. 
   530                     Place the location of the GNU make binary in the <tt>PATH</tt>. 
   531                 </li>
   531                 </li>
   532                 <li>
   532                 <li>