2016-03-29 03:41:06 -07:00
|
|
|
#!/bin/bash
|
|
|
|
|
cd `dirname $0`/src
|
2016-04-04 14:51:25 -07:00
|
|
|
rm -f ../pipe.*
|
2016-04-27 13:44:37 -07:00
|
|
|
if [ "$1" == -d ]; then
|
|
|
|
|
shift
|
|
|
|
|
gdb --args ../vendor/micropython/unix/micropython $* -O0 -X heapsize=100000 main.py
|
|
|
|
|
else
|
|
|
|
|
../vendor/micropython/unix/micropython $* -O0 -X heapsize=100000 main.py
|
|
|
|
|
fi
|
2016-04-11 02:10:43 -07:00
|
|
|
rm -f ../pipe.*
|
