diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-24 20:51:16 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-24 20:51:16 +0100 |
| commit | 8db7e5acbe9de5f44ed79ba4ce11947b3586338f (patch) | |
| tree | 7ebcf856ded618abcd405963f1369db013cf5de3 /bin/get-assignment | |
| parent | 913da48c13219d5f2074880645cbaab0c76376f5 (diff) | |
| download | builder-8db7e5acbe9de5f44ed79ba4ce11947b3586338f.tar.xz | |
run shellchek in same dir as script
Diffstat (limited to 'bin/get-assignment')
| -rwxr-xr-x | bin/get-assignment | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 7ac749f..7f08d42 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -12,7 +12,7 @@ # 3: come back after the next run of get-package-updates - currently # there are no pending packages -# shellcheck source=conf/default.conf +# shellcheck source=../conf/default.conf . "${0%/*}/../conf/default.conf" # TODO: honor manual build order of tool-chain: |