1 2 3 4 5 6 7 8 9 10 11
#!/bin/sh set -eu if [ $# -eq 1 -a "$1" = "--refresh" ]; then (cd scripts/generate-images && make) else echo usage: $0 --refresh exit 2 fi rm -v tests/generated/*.img