File tree 1 file changed +5
-6
lines changed
1 file changed +5
-6
lines changed Original file line number Diff line number Diff line change @@ -57,7 +57,11 @@ ROOT_DIR=`pwd`
57
57
# Determine if we are using a modified version
58
58
# Assume the dir is not modified
59
59
MODIFIED=" 0"
60
- if [ -d " $ROOT_DIR /.git" ] || [ -f " $ROOT_DIR /.git" ]; then
60
+ if [ -f " $ROOT_DIR /.ottdrev" ]; then
61
+ # We are an exported source bundle
62
+ cat $ROOT_DIR /.ottdrev
63
+ exit
64
+ elif [ -d " $ROOT_DIR /.git" ] || [ -f " $ROOT_DIR /.git" ]; then
61
65
# We are a git checkout
62
66
# Refresh the index to make sure file stat info is in sync, then look for modifications
63
67
git update-index --refresh > /dev/null
@@ -91,11 +95,6 @@ if [ -d "$ROOT_DIR/.git" ] || [ -f "$ROOT_DIR/.git" ]; then
91
95
ISTAG=" 0"
92
96
ISSTABLETAG=" 0"
93
97
fi
94
-
95
- elif [ -f " $ROOT_DIR /.ottdrev" ]; then
96
- # We are an exported source bundle
97
- cat $ROOT_DIR /.ottdrev
98
- exit
99
98
else
100
99
# We don't know
101
100
MODIFIED=" 1"
You can’t perform that action at this time.
0 commit comments