diff options
Diffstat (limited to 'server')
| -rwxr-xr-x | server/export_target | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/server/export_target b/server/export_target index 3bda2ce6..37a74b55 100755 --- a/server/export_target +++ b/server/export_target @@ -35,10 +35,6 @@ initial_checks() { [ -d "${SERVER_BOOT_DIR}" ] || mkdir -p "${SERVER_BOOT_DIR}" - # check if SERVER_EXPORT_TARGET is valid - [ ! -z "${SERVER_EXPORT_CONFIG}" ] || perror "Server export config not given!" - [ -d "${SERVER_CONFIGS_DIR}/${SERVER_EXPORT_CONFIG}" ] || \ - perror "Given export config not found: ${SERVER_CONFIGS_DIR}/${SERVER_EXPORT_CONFIG}" } copy_kernel() { @@ -90,6 +86,11 @@ generate_config() { local TOOL_STR="${TOOL_STR} generate_config:" pinfo "Generating config.tgz for '${SERVER_CONFIG_TYPE}'" + # check if SERVER_EXPORT_TARGET is valid + [ ! -z "${SERVER_EXPORT_CONFIG}" ] || perror "Server export config not given!" + [ -d "${SERVER_CONFIGS_DIR}/${SERVER_EXPORT_CONFIG}" ] || \ + perror "Given export config not found: ${SERVER_CONFIGS_DIR}/${SERVER_EXPORT_CONFIG}" + # directory where the activated modules are given # ex: server/configs/freiburg/ local TARGET_CONFIG_DIR="${SERVER_CONFIGS_DIR}/${SERVER_CONFIG_TYPE}" |