chiark / gitweb /
Auto-detect which make tool to use.
authordaid <daid303@gmail.com>
Wed, 29 Oct 2014 15:56:38 +0000 (16:56 +0100)
committerdaid <daid303@gmail.com>
Wed, 29 Oct 2014 15:56:38 +0000 (16:56 +0100)
commit9619cc4d88985e67fcf2679430dac27c6ea3438e
treeffd735d967cdb59b244be4f7a6b19e2aebbce849
parentef4ac6176366a720d91f0cf08d162499d3595cb9
Auto-detect which make tool to use.
package.sh