Files
2018-11-09 09:33:44 +00:00

15 lines
205 B
Bash
Executable File

#!/usr/bin/env bash
set -eu
test_size=1
while [ $# -gt 0 ]; do
case "$1" in
--size)
test_size="$2"
shift 2
;;
esac
done
./bench-boot --size "$test_size"
./test-modules
./test-gdb