spinlock.o: \
	../../include/vax/Vspinlock.h
