git://git.jankratochvil.net / nethome.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
/usr/local/share/gdb/auto-load -> /usr/local/share/gdb
[nethome.git] / bin / runtest
1 #! /bin/sh
2 #sync
3 ulimit -v 500000
4 ulimit -c unlimited
5 exec nice /usr/bin/runtest --ignore checkpoint.exp "$@"
Unnamed repository; edit this file 'description' to name the repository.