Statistics
| Revision:

root / trunk / scripts / configure / GNUmakefile.in @ 1030

History | View | Annotate | Download (312 Bytes)

1
all:
2
	$(MAKE) --file=Makefile $(CXX)
3

    
4
dist:
5
	$(MAKE) --file=Makefile $(CXX)-dist
6

    
7
contrib:
8
	$(MAKE) --file=Makefile $(CXX)-contrib
9

    
10
verify:
11
	$(MAKE) --file=Makefile $(CXX)-verify
12

    
13
test:
14
	$(MAKE) --file=Makefile $(CXX)-tests
15

    
16
install:
17
	install -d build/dist @prefix@
18

    
19
clean:
20
	$(MAKE) --file=Makefile $(CXX)-clean