diff options
Diffstat (limited to 'scripts/generate_version.sh')
-rwxr-xr-x | scripts/generate_version.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/generate_version.sh b/scripts/generate_version.sh index 1a8ce4ab..4d28cf53 100755 --- a/scripts/generate_version.sh +++ b/scripts/generate_version.sh @@ -62,6 +62,10 @@ do then # SPECIFIC FOR CMAKE MODULES cp -R $ROOT_DIR/src/$package $VERSION_DIR + elif [ "$package" == "GudhUI" ] + then + # SPECIFIC FOR GUDHI USER INTERFACE + cp -R $ROOT_DIR/src/$package $VERSION_DIR else # PACKAGE COPY if [ -d "$ROOT_DIR/src/$package$PACKAGE_INC_DIR" ] |