#!/bin/bash

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