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