From 688b316077e00c615c8e0b58496854d8d7b0441c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lucas=20Br=C3=A9mond?= Date: Sat, 4 Jan 2020 19:37:58 -0800 Subject: [PATCH] [misc] Replace library_core --- Makefile | 2 +- tools/development/start.sh | 10 +++++----- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/Makefile b/Makefile index 9a59b78a..37275793 100644 --- a/Makefile +++ b/Makefile @@ -24,7 +24,7 @@ export docker_jupyter_notebook_image_repository := $(docker_image_repository)-ju export jupyter_notebook_image_repository := jupyter/scipy-notebook:latest export jupyter_notebook_port := 9003 -export library_core_directory := $(project_directory)/../open-space-toolkit-core +export open_space_toolkit_core_directory := $(project_directory)/../open-space-toolkit-core export ci_build_number := $(TRAVIS_BUILD_NUMBER) export ci_commit := $(TRAVIS_COMMIT) diff --git a/tools/development/start.sh b/tools/development/start.sh index 907f1fa3..48074fbe 100755 --- a/tools/development/start.sh +++ b/tools/development/start.sh @@ -26,18 +26,18 @@ if [[ ! -z ${1} ]] && [[ ${1} == "--link" ]]; then # Open Space Toolkit ▸ Core - if [[ -z ${library_core_directory} ]]; then - echo "Variable [library_core_directory] is undefined." + if [[ -z ${open_space_toolkit_core_directory} ]]; then + echo "Variable [open_space_toolkit_core_directory] is undefined." exit 1 fi - if [[ ! -d ${library_core_directory} ]]; then - echo "Open Space Toolkit ▸ Core directory [${library_core_directory}] cannot be found." + if [[ ! -d ${open_space_toolkit_core_directory} ]]; then + echo "Open Space Toolkit ▸ Core directory [${open_space_toolkit_core_directory}] cannot be found." exit 1 fi options="${options} \ - --volume=${library_core_directory}:/mnt/open-space-toolkit-core:ro" + --volume=${open_space_toolkit_core_directory}:/mnt/open-space-toolkit-core:ro" command=" \ rm -rf /usr/local/include/OpenSpaceToolkit/Core; \