#!/bin/bash
set -e # stop on error
make animation
time ./animation | tee animation.log
./encode.sh WS/nanim/ quux.mp4