#!/bin/bash
shift 1

for file in "$@"; do
    echo $file
    (cd generated; ../chisel3/bin/flo2app.sh $file >& $file.appout)
done