summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRoy Marples <roy@marples.name>2018-02-26 22:15:50 +0000
committerRoy Marples <roy@marples.name>2018-02-26 22:15:50 +0000
commita9d3ad5fac70218f83fea01e735a8b6d6c034a2c (patch)
tree7b6d840b32eb90780ec92538ac991596f0a9e533
parent57eca4f7600d257db4a01547d30f54a6992f2334 (diff)
Add debug flags if git checkout is present.
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index 97950e9..e36b54c 100755
--- a/configure
+++ b/configure
@@ -233,8 +233,8 @@ for x in $INCLUDEDIR; do
echo "CPPFLAGS+= -I$x" >>$CONFIG_MK
done
-if [ -z "$DEBUG" -a -f .fslckout ]; then
- printf "Found fossil checkout ... "
+if [ -z "$DEBUG" -a -d .git ]; then
+ printf "Found git checkout ... "
DEBUG=yes
else
DEBUG=no