diff options
author | Luca Deri <lucaderi@users.noreply.github.com> | 2018-10-09 17:45:23 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-09 17:45:23 +0300 |
commit | cf0c8be63d8f133cfc056e81c91f26d0bf5fa63a (patch) | |
tree | 000c253701a58500dac1674696772fd5a2a3dc5d /example | |
parent | ab2f3cefc89017d73e67faa4eb4011e7e3f2044d (diff) | |
parent | 1d56c9aa1b4d8279a56baa3238f67e61ea901589 (diff) |
Merge pull request #616 from wang-xuefei/dev
remake clean or remake install failed.
Diffstat (limited to 'example')
-rw-r--r-- | example/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/example/Makefile.in b/example/Makefile.in index 7f465bdde..d3d4aed20 100644 --- a/example/Makefile.in +++ b/example/Makefile.in @@ -16,5 +16,5 @@ install: cp ndpiReader /usr/local/bin clean: - /bin/rm *.o ndpiReader + /bin/rm -f *.o ndpiReader |