No luck with ninja --- make should work?

This commit is contained in:
David Given 2018-09-01 11:23:39 +02:00
parent e4ba155886
commit bc1a639697

View file

@ -7,7 +7,7 @@ build:
shell: sh shell: sh
commands: commands:
- apt update - apt update
- apt install build-essential ninja - apt install build-essential
- make - make
cygwin: cygwin:
image: teaci/cygwin32 image: teaci/cygwin32