Merge branch 'master' into master

master
Ariadne Conill 2020-03-30 02:11:45 -06:00 committed by GitHub
commit 136ebdffd9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 2 deletions

View File

@ -36,5 +36,4 @@ the build system will attempt to guess using `uname -m`.
$ make ARCH=x86_64
$ make ARCH=x86_64 check
$ make ARCH=x86_64 DESTDIR=out install
```
```