diff options
| author | Erich Eckner <git@eckner.net> | 2018-01-26 15:22:24 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-01-26 15:22:24 +0100 |
| commit | e28fa30e990687f53528b97a9849d7d00f192ab7 (patch) | |
| tree | 4589b1b48bd5a0d72b8f777f20b891ccf386f20e /bin/get-assignment | |
| parent | 046c477732d8bd8e1686bb01dd4b0bef881b1f72 (diff) | |
| download | builder-e28fa30e990687f53528b97a9849d7d00f192ab7.tar.xz | |
bin/get-assignment: add TODO
Diffstat (limited to 'bin/get-assignment')
| -rwxr-xr-x | bin/get-assignment | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 4f66235..fc38a16 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -111,6 +111,9 @@ clean_up() { tmp_dir=$(mktemp -d 'tmp.get-assignment.XXXXXXXXXX' --tmpdir) trap clean_up EXIT +# TODO: binary package $x it is not a yet-to-be-built dependency of +# package $y if $x and $y are built by the same build_assignment! + # shellcheck disable=SC2016 { printf 'SELECT' |