diff options
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' |