diff options
| author | Luca Mannella <luca.mannella@studenti.polito.it> | 2022-09-12 17:29:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-12 17:29:47 +0200 |
| commit | 84248a7884d33ded1bad03e564d72d172656f0f3 (patch) | |
| tree | c1ed9f1d67d63e684001e1e4a5da5959e6d8c0b2 | |
| parent | 81f0807b63add9eb57294c7da0cd34ea651f04e1 (diff) | |
| download | json-c-84248a7884d33ded1bad03e564d72d172656f0f3.tar.gz | |
Small update to README file
it could be necessary to execute make install
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -100,7 +100,7 @@ Then: $ make $ make test $ make USE_VALGRIND=0 test # optionally skip using valgrind -$ make install +$ sudo make install # it could be necessary to execute make install ``` |