diff options
| author | comet <hjung524@gmail.com> | 2020-01-27 16:54:28 -0600 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-01-28 12:41:22 +0000 |
| commit | 64a2b1a93648461f11daa44911d791c28bc00885 (patch) | |
| tree | e8691d450ce57a6ce798ef544dc2ae8acc1bf213 /scripts | |
| parent | d9888fcefc216b16404a39ac7b82a8fd8d5f343f (diff) | |
| download | klee-64a2b1a93648461f11daa44911d791c28bc00885.tar.gz | |
update
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build/build.sh b/scripts/build/build.sh index 65aaa08a..e869116b 100755 --- a/scripts/build/build.sh +++ b/scripts/build/build.sh @@ -539,7 +539,7 @@ get_all_dependencies() { mapfile -t deps_list <<< "$(get_all_dependencies_rec "$v" "$type")" [[ "${failed}" -eq 1 ]] && continue - # Make sure items are unique and keep the order of occurence + # Make sure items are unique and keep the order of occurrence for di in "${deps_list[@]}"; do local found=0 for f in "${final_list[@]}"; do |