Rename build command
[snark14.git] / examples / b7 / run
1 snark14  b7.in