comparison: Makefile
Makefile
- changeset 1538
- fd948e5af26e
- parent 1530
- 77cb6540d9d8
equal
deleted
inserted
replaced
| 1537:f60a73d2ad01 | 1538:fd948e5af26e |
|---|---|
| 27 @cd src && $(MAKE) install | 27 @cd src && $(MAKE) install |
| 28 | 28 |
| 29 dist: config.mk FORCE | 29 dist: config.mk FORCE |
| 30 $(MAKE) -f make/makefile.mk dist | 30 $(MAKE) -f make/makefile.mk dist |
| 31 | 31 |
| 32 clean: config.mk FORCE | 32 clean: FORCE |
| 33 $(MAKE) -f make/makefile.mk clean | 33 rm -f -R dist |
| 34 rm -f -R build | |
| 34 | 35 |
| 35 distclean: config.mk FORCE | 36 distclean: clean FORCE |
| 36 $(MAKE) -f make/makefile.mk distclean | 37 rm -f config.mk |
| 37 | 38 |
| 38 compile: config.mk FORCE | 39 compile: config.mk FORCE |
| 39 $(MAKE) -f make/makefile.mk compile | 40 $(MAKE) -f make/makefile.mk compile |
| 40 | 41 |
| 41 test-compile: config.mk FORCE | 42 test-compile: config.mk FORCE |
