diff options
Diffstat (limited to 'cmdline/makefile')
| -rw-r--r-- | cmdline/makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/cmdline/makefile b/cmdline/makefile index 882a0e1b5..2a5bdfbea 100644 --- a/cmdline/makefile +++ b/cmdline/makefile @@ -52,3 +52,15 @@ SOURCE=apt-key TO=$(BIN) TARGET=program include $(COPY_H) + +# The apt-mark program +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) |