diff options
author | Michael Vogt <egon@bottom> | 2006-10-02 01:12:29 +0200 |
---|---|---|
committer | Michael Vogt <egon@bottom> | 2006-10-02 01:12:29 +0200 |
commit | 5f23b53e0978d985415bf53249d5bd4acfafc66a (patch) | |
tree | 00ac4b9c283a32fe324a097c0f7e4e7cb17c4145 /cmdline/makefile | |
parent | dd09a217ac0d331f4a0324cf42559da5d35edc9a (diff) | |
parent | 320854985be0fe14491385ca349783ab8a9d7797 (diff) |
* merged from apt--auto-mark
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) |