diff options
Diffstat (limited to 'aai-resources/src/main/scripts/common_functions.sh')
| -rw-r--r-- | aai-resources/src/main/scripts/common_functions.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/aai-resources/src/main/scripts/common_functions.sh b/aai-resources/src/main/scripts/common_functions.sh index 2a908e2..4a34da8 100644 --- a/aai-resources/src/main/scripts/common_functions.sh +++ b/aai-resources/src/main/scripts/common_functions.sh @@ -54,3 +54,18 @@ end_date(){ echo echo `date` " Done $0" } + +# Inserts GEN_DB_WITH_NO_SCHEMA as a paranmter if it isn't there already +force_GEN_DB_WITH_NO_SCHEMA () { + for p in "$@" + do + if [ "$p" == "GEN_DB_WITH_NO_SCHEMA" ] + then + echo "$@" + return + fi + done + echo "GEN_DB_WITH_NO_SCHEMA $@" + return +} + |