See if make -j 4 works for github workflow

pull/668/head
Mike Black W9MDB 2021-04-16 23:22:33 -05:00
rodzic 0f692f514d
commit 0a5d9d9768
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -18,7 +18,7 @@ jobs:
- name: configure
run: ./configure
- name: make
run: make
run: make -j 4
- name: make check
run: make check
- name: make distcheck