diff --git a/run.sh b/run.sh new file mode 100755 index 0000000..1e46c7d --- /dev/null +++ b/run.sh @@ -0,0 +1,2 @@ +#!/bin/bash +engine/bin/linux/tt++ scripts/dev.tin