diff options
author | Michael Vogt <michael.vogt@ubuntu.com> | 2010-09-03 14:04:50 +0200 |
---|---|---|
committer | Michael Vogt <michael.vogt@ubuntu.com> | 2010-09-03 14:04:50 +0200 |
commit | 0205540433440a9ff4ad4ea4cce44c700a4b401c (patch) | |
tree | 97809e2e38482d3d7f124b30552a0936adf4d405 /cmdline/makefile | |
parent | 24baab5c477bf1e57a0b169a7bac1d2e9ab0c974 (diff) | |
parent | 2c6baa5a1f935eb3b8d4eb9fdef62e696416e27a (diff) |
merged from lp:~donkult/apt/sid
Diffstat (limited to 'cmdline/makefile')
-rw-r--r-- | cmdline/makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/cmdline/makefile b/cmdline/makefile index 3260e375b..917ccc96a 100644 --- a/cmdline/makefile +++ b/cmdline/makefile @@ -58,3 +58,9 @@ SOURCE=apt-mark TO=$(BIN) TARGET=program include $(COPY_H) + +# The apt-report-mirror-failure program +#SOURCE=apt-report-mirror-failure +#TO=$(BIN) +#TARGET=program +#include $(COPY_H) |