| /trunk/tools/config.py |
|---|
| 457,6 → 457,7 |
| # Get ARCH from command line if specified |
| if len(sys.argv) >= 4: |
| defaults['ARCH'] = sys.argv[3] |
| defaults['PLATFORM'] = sys.argv[3] |
| # Get COMPILER from command line if specified |
| if len(sys.argv) >= 5: |
| /trunk/Makefile |
|---|
| 120,7 → 120,7 |
| .PHONY: all build config distclean clean |
| all: |
| tools/config.py HelenOS.config default |
| tools/config.py HelenOS.config default $(PLATFORM) $(COMPILER) $(CONFIG_DEBUG) |
| $(MAKE) -C . build |
| build: |