src/utils/debugpintos


1
2
3
4
5
6
7

#!/bin/bash

if command -v mapsocket >/dev/null 2>&1; then
    exec mapsocket -m 1234 dynamic spintos --gdb "$@"
else
    exec pintos --gdb "$@"
fi