diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-03 18:00:43 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-03 18:03:02 +0000 |
| commit | a2db1f07f9d2bda6bed34fb359c44d6299cbbf5e (patch) | |
| tree | 2b81752d2836e5bbda616730b9a1965c986310b4 /.gitignore | |
| parent | 6384e3a5507a71412577ed0c985eb6e48aec4a2d (diff) | |
Added rpath in basic dependencies, remove input if download fails
Until now, we weren't including the `rpath' linking options to the basic
dependencies. They are now added. Also, when the download of an input file
fails for any reason, an empty file won't be replaced there any more.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions