From 8054f2973d453b71806f52f0bb30725cb31d64dd Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Fri, 22 Feb 2019 08:09:05 +0200
Subject: Improve ODB regeneration script

---
 libbrep/odb.sh | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/libbrep/odb.sh b/libbrep/odb.sh
index d4e6604..e2ba564 100755
--- a/libbrep/odb.sh
+++ b/libbrep/odb.sh
@@ -7,10 +7,14 @@ inc=()
 
 if test -d ../.bdep; then
 
-  # Use default configuration for headers.
-  #
-  cfg="$(bdep config list -d .. | \
+  if [ -n "$1" ]; then
+    cfg="$1"
+  else
+    # Use default configuration for headers.
+    #
+    cfg="$(bdep config list -d .. | \
 sed -r -ne 's#^(@[^ ]+ )?([^ ]+)/ .*default.*$#\2#p')"
+  fi
 
   inc+=("-I$(echo "$cfg"/libodb-[1-9]*/)")
   inc+=("-I$(echo "$cfg"/libodb-pgsql-[1-9]*/)")
-- 
cgit v1.1