summaryrefslogtreecommitdiff
path: root/tests/Makefile
blob: 8c6c236ba09104821de44b17d1fb32dd4f2e5255 (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13

T = $(wildcard t[0-9][0-9][0-9][0-9]-*.sh)

all: $(T)

$(T):
	@./$@

clean:
	$(RM) -rf trash

.PHONY: $(T) clean
generated by cgit v1.2.3-70-g09d2 (git 2.47.0) at 2024-11-06 10:21:17 +0000
p;follow=1'>Add hg config stuffRené 'Necoro' Neumann3-0/+555 2009-10-27Add line numbering for emacsRené 'Necoro' Neumann1-1/+5 2009-10-27Add "-m iff" to isabelle callRené 'Necoro' Neumann1-1/+1 2009-10-14add commandline completion for vimRené 'Necoro' Neumann1-0/+12