1.15: Initial port.
This commit is contained in:
parent
7055adf985
commit
a733e39c51
1028 changed files with 31668 additions and 3 deletions
4
Makefile
4
Makefile
|
@ -15,14 +15,17 @@ dist: default
|
|||
clean:
|
||||
-@cd 1.12; make -s clean
|
||||
-@cd 1.14; make -s clean
|
||||
-@cd 1.15; make -s clean
|
||||
|
||||
clean-all:
|
||||
-@cd 1.12; make -s clean-all
|
||||
-@cd 1.14; make -s clean-all
|
||||
-@cd 1.15; make -s clean-all
|
||||
|
||||
mrproper:
|
||||
-@cd 1.12; make -s mrproper
|
||||
-@cd 1.14; make -s mrproper
|
||||
-@cd 1.15; make -s mrproper
|
||||
|
||||
update-json:
|
||||
@echo "[main] Update update.json ..."
|
||||
|
@ -31,6 +34,7 @@ update-json:
|
|||
sanatize:
|
||||
@cd 1.12; make -s sanatize
|
||||
@cd 1.14; make -s sanatize
|
||||
@cd 1.15; make -s sanatize
|
||||
@make -s update-json
|
||||
|
||||
compare:
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue