run_imp: allow to specify mingw
authornotaz <notasas@gmail.com>
Fri, 20 Mar 2015 20:41:03 +0000 (22:41 +0200)
committernotaz <notasas@gmail.com>
Fri, 20 Mar 2015 20:41:03 +0000 (22:41 +0200)
commitd82ba30257991aeeefd6f393a38cdabdde98c692
treebfd1b30bd322f34a8bc39d8391a17ee2edafa3ce
parent3682b4b1df7390d2c504528e920ef8ff40f47b0c
run_imp: allow to specify mingw
run_imp.sh