Add Linux instructions ('make' vs 'make .')

pull/10/head
konradit 2018-12-21 11:22:38 +01:00
rodzic 4d5e443f11
commit 7f2e00682e
1 zmienionych plików z 6 dodań i 0 usunięć

Wyświetl plik

@ -81,6 +81,12 @@ $ make .
$ ./source/app/gpr_tools/gpr_tools
```
Linux build instructions, after running the above:
```
$ make
$ ./source/app/gpr_tools/gpr_tools
```
## Using gpr_tools
Some example commands are shown below: