Merge pull request #515 from waywardmonkeys/genie-flags · d8dc95383d - Gogs

Merge pull request #515 from waywardmonkeys/genie-flags

Allow passing flags to genie via make.

Branimir Karadžić há 10 anos atrás

pai

14d26304f0 ecdde1bcd5

commit

d8dc95383d

1 ficheiros alterados com 1 adições e 1 exclusões

Visão Unificada Mostrar Estatísticas Diff

						
							+ 1
							
							- 1
						
makefile
							 
								Ver Ficheiro
							
															@@ -20,7 +20,7 @@ endif
														
															 # $(info $(OS))
														
															 # $(info $(OS))
														
															-GENIE=../bx/tools/bin/$(OS)/genie
														
															+GENIE=../bx/tools/bin/$(OS)/genie $(GENIE_FLAGS)
														
															 all:
														
															 all:
														
															 	$(GENIE) --with-tools --with-shared-lib vs2008
														
															 	$(GENIE) --with-tools --with-shared-lib vs2008