#!/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