You've already forked mariadb-columnstore-engine
mirror of
https://github.com/mariadb-corporation/mariadb-columnstore-engine.git
synced 2025-08-07 03:22:57 +03:00
simpler cores
This commit is contained in:
committed by
Leonid Fedorov
parent
052f43cc97
commit
84e2dde865
@@ -15,7 +15,7 @@ save_ansi_to_html() {
|
||||
cat "$DUMPNAME" | bash "${SCRIPT_LOCATION}"/ansi2html.sh --palette=solarized >>"${FILENAME}"
|
||||
}
|
||||
invoke_gdb_command() {
|
||||
unbuffer gdb -x "${SCRIPT_LOCATION}"/gdbinit -q ${BINARY} --core ${COREDUMP} -ex "$1" -ex quit >>"$DUMPNAME"
|
||||
gdb -x "${SCRIPT_LOCATION}"/gdbinit -q ${BINARY} --core ${COREDUMP} -ex "$1" -ex quit >>"$DUMPNAME"
|
||||
}
|
||||
|
||||
echo "<h1> Step: ${STEP_NAME}<br> Binary name: ${BINARY}<br> </h1>" >>"${FILENAME}"
|
||||
|
Reference in New Issue
Block a user