File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 66set -u
77
88app_name=" $( basename " $0 " ) "
9+ app_dir=" $( dirname " $0 " ) "
910
1011usage ()
1112{
@@ -75,16 +76,6 @@ if [ -z ${lang+x} ]; then
7576 usage 2 " No language specified"
7677fi
7778
78- top_level=" $( git rev-parse --show-superproject-working-tree) "
79-
80- if [ " x${top_level} " = " x" ]; then
81- top_level=" $( git rev-parse --show-toplevel) "
82- fi
83-
84- if [ " x${top_level} " = " x" ]; then
85- usage 2 " Not in a code repository."
86- fi
87-
8879case " ${lang} " in
8980 java)
9081 scheme_file=" ${lang} /ql/lib/config/semmlecode.dbscheme"
@@ -100,7 +91,12 @@ case "${lang}" in
10091 ;;
10192esac
10293
103- qldir=" ${top_level} /ql"
94+ cd ${app_dir}
95+ qldir=" $( git rev-parse --show-toplevel) "
96+
97+ if [ " x${qldir} " = " x" ]; then
98+ usage 2 " Script not in a code repository."
99+ fi
104100
105101upgrade_root=" ${qldir} /${lang} /ql/lib/upgrades"
106102downgrade_root=" ${qldir} /${lang} /downgrades"
You can’t perform that action at this time.
0 commit comments