chiark / gitweb /
Auto-detect which make tool to use.
authordaid <daid303@gmail.com>
Wed, 29 Oct 2014 15:57:19 +0000 (16:57 +0100)
committerdaid <daid303@gmail.com>
Wed, 29 Oct 2014 15:57:19 +0000 (16:57 +0100)
commit675c6cbee68e535cc5cf80883bd07d4c6f217fbd
tree43986e3bc2893c6dd01dcc1ba912a7979c246241
parent9619cc4d88985e67fcf2679430dac27c6ea3438e
Auto-detect which make tool to use.
package.sh