diff options
| author | David Kalnischkies <kalnischkies@gmail.com> | 2011-05-03 17:27:11 +0200 |
|---|---|---|
| committer | David Kalnischkies <kalnischkies@gmail.com> | 2011-05-03 17:27:11 +0200 |
| commit | 7f4713547665e12e032501228a98586e5add48f7 (patch) | |
| tree | 24b7888cbbc24046ae15aa36b410e561db50721c /debian/rules | |
| parent | ee8c790a660a817417267379bca1a26e7813dfde (diff) | |
add a tiny dump solver to quickly output a scenario
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index c8aefee63..77a7b4fdb 100755 --- a/debian/rules +++ b/debian/rules @@ -182,7 +182,7 @@ apt: build build-doc dh_install -p$@ --sourcedir=$(BLD) # Remove the bits that are in apt-utils - rm $(addprefix debian/$@/usr/bin/apt-,$(APT_UTILS)) + rm $(addprefix debian/$@/usr/bin/apt-,$(APT_UTILS) dump-solver) # https has its own package rm debian/$@/usr/lib/apt/methods/https |