Merge pull request #16 from ba-st/make_configure_script_optional

Update stone-init script to not fail if configuration script is missing
ba-st · Apr 8, 2024 · 977162d · 977162d
2 parents b293d84 + 2d18264
commit 977162d
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/source/stone-init.sh b/source/stone-init.sh
@@ -54,8 +54,9 @@ startstone \
 gslist -cvl
 
 # Configure GS repository
-
-"${GEMSTONE_GLOBAL_DIR}"/configure.sh
+if [ -f "${GEMSTONE_GLOBAL_DIR}"/configure.sh ]; then
+  "${GEMSTONE_GLOBAL_DIR}"/configure.sh
+fi
 
 # wait forever, (loop to handle multiple signals if needed)
 while true