File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change 3333if [[ $branch != " " ]]; then
3434 if test -f " bin/kps-image-${julia_major} -${branch} .so" ; then
3535 echo " Found system image!"
36- julia -J bin/kps-image-${julia_major} -${branch} .so -t 1 $GCT --project
36+ julia -J bin/kps-image-${julia_major} -${branch} .so -t 1 $GCT --project -i -e ' using KiteModels '
3737 else
38- julia $GCT --project
38+ julia $GCT --project -i -e ' using KiteModels '
3939 fi
4040else
4141 if test -f " bin/kps-image-${julia_major} .so" ; then
4242 echo " Found system image!"
43- julia -J bin/kps-image-${julia_major} .so -t 1 $GCT --project
43+ julia -J bin/kps-image-${julia_major} .so -t 1 $GCT --project -i -e ' using KiteModels '
4444 else
45- julia $GCT --project
45+ julia $GCT --project -i -e ' using KiteModels '
4646 fi
4747fi
You can’t perform that action at this time.
0 commit comments