diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2015-02-05 16:41:56 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-02-05 21:43:06 -0500 |
| commit | 37d81d90383efeff21d6e3ad97fd1c9c40906d78 (patch) | |
| tree | 845ff30995b114df616ff9616aad47d363d3e3c9 /debian/copyright | |
| parent | 6ba2fca45bb6d5222e6e219681bb173f688d9ab8 (diff) | |
Fake a Makefile.config so initial ‘make clean’ works
The Makefile requires a Makefile.config to run anything, so create an
empty Makefile.config before starting to run make commands.
Diffstat (limited to 'debian/copyright')
0 files changed, 0 insertions, 0 deletions