17 lines
233 B
Bash
Executable File
17 lines
233 B
Bash
Executable File
#!/bin/bash
|
|
|
|
set -e # stop on error
|
|
|
|
make animation
|
|
|
|
LOG="log.animation"
|
|
|
|
date >> $LOG
|
|
|
|
time ./animation | tee -a $LOG
|
|
|
|
./encode.sh WS/nanim/ gravity-field.mp4
|
|
./encode.sh WS/colmap/ gravity-colmap.mp4
|
|
|
|
ls -rtl *.mp4 >> $LOG
|