1prereq: test -e pth_spinlock && ./supported_libpthread && ! grep '#define DISABLE_PTHREAD_SPINLOCK_INTERCEPT 1' ../../config.h > /dev/null
2vgopts: --read-var-info=yes --check-stack-var=yes
3prog: pth_spinlock
4