diff options
author | Michael Vogt <michael.vogt@ubuntu.com> | 2007-06-09 00:19:51 +0200 |
---|---|---|
committer | Michael Vogt <michael.vogt@ubuntu.com> | 2007-06-09 00:19:51 +0200 |
commit | 408a4726131e9db26ff868623a5d216a26c45a50 (patch) | |
tree | a8b470ee8fd8d22e74e1245edb2b36400b9226dd /cmdline/makefile | |
parent | 1979e742ad5e2a0b6e547fbe3f4c4066b5a9bd2e (diff) | |
parent | 484dbb814fd2b787b2206ffe9504798dfd73ae6c (diff) |
* huge merge to bring the apt debian-sid and ubuntu branches as close
as possible to apt--mvo again
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 882a0e1b5..49035be44 100644 --- a/cmdline/makefile +++ b/cmdline/makefile @@ -52,3 +52,9 @@ SOURCE=apt-key TO=$(BIN) TARGET=program include $(COPY_H) + +# The apt-mark program +SOURCE=apt-mark +TO=$(BIN) +TARGET=program +include $(COPY_H) |