


all: 
	$(MAKE) -C ../ setjmp

clean: 
	$(MAKE) -C ../ setjmp-clean
