diff options
| author | Olivier Gayot <duskcoder@gmail.com> | 2014-04-21 18:04:40 +0000 |
|---|---|---|
| committer | Olivier Gayot <duskcoder@gmail.com> | 2014-04-21 18:10:21 +0000 |
| commit | e2bfa9c2ac08a5ae5ae0b151a744b2e35c70993b (patch) | |
| tree | 1305ff69184eb8359f95aab1d98f03fd6de3344f /COPYING | |
| parent | ebe2531c926d6b74eb10a2d5706f8431872712e7 (diff) | |
god_hands_solver: stop complaining about the missing .depend
GNU make emitted a warning at first compilation because the provided Makefile
tries to include a .depend file which is not delivered in the repository.
This file is created at the first compilation and therefore the warning
is not emitted afterward.
To stop complaining about this file, we replaced the 'include' directive
by the '-include' which simply ignores the files that do not exist.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions