diff options
author | Michael Vogt <michael.vogt@ubuntu.com> | 2007-02-06 15:04:47 +0100 |
---|---|---|
committer | Michael Vogt <michael.vogt@ubuntu.com> | 2007-02-06 15:04:47 +0100 |
commit | a577a938d4b957b5462a830b21d509fa754b33d5 (patch) | |
tree | fd3ab848593a0818ae5be30508b6a469557d9a1a /cmdline/makefile | |
parent | 78a9df8a467d9f240df81c236f233a38f450e60a (diff) | |
parent | 39e1be0ff93e3084b7cb98b6a7d0c272a8b296b0 (diff) |
* merged the apt--mirror branch
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 49035be44..2a5bdfbea 100644 --- a/cmdline/makefile +++ b/cmdline/makefile @@ -58,3 +58,9 @@ SOURCE=apt-mark TO=$(BIN) TARGET=program include $(COPY_H) + +# The apt-key program +SOURCE=apt-report-mirror-failure +TO=$(BIN) +TARGET=program +include $(COPY_H) |