2018-03-03 20:44:01 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
set -euo pipefail
|
2018-03-10 15:59:53 +00:00
|
|
|
|
|
|
|
|
cd "$(dirname ${BASH_SOURCE[0]})"
|
2018-03-10 15:46:10 +00:00
|
|
|
make
|
2018-03-03 20:44:01 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
if [ ! -v DEBUG ]; then
|
|
|
|
|
../sqlite/sqlite3 -init ./cmds.txt < /dev/null
|
|
|
|
|
else
|
|
|
|
|
gdb -ex run --args ../sqlite/sqlite3 -init ./cmds.txt
|
|
|
|
|
fi
|
|
|
|
|
|
