diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-07-08 00:16:20 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-07-08 00:16:20 +0100 |
commit | e83270cc0c9c17951669874bcfb5284301272ede (patch) | |
tree | 77eda10cb5603bf6c21f991c7acd4b7a7000f441 /reproduce/analysis/make | |
parent | bc49a299fb2c64d9c26dd7bf3682bc79800cb6a3 (diff) |
Corrected typo in the installation of libgit2
In one of the last few commits, the commands in the recipe of libgit2 was
merged with `&&' so it stops if anything fails. But I had forgot to add a
`;' at the end of the `install_name_tool' command. This is corrected with
this commit.
Diffstat (limited to 'reproduce/analysis/make')
0 files changed, 0 insertions, 0 deletions