diff options
Diffstat (limited to 'scripts')
-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 323396dc..8395723e 100755 --- a/scripts/generate_version.sh +++ b/scripts/generate_version.sh @@ -76,6 +76,10 @@ do then # SPECIFIC FOR GUDHI USER INTERFACE cp -R $ROOT_DIR/src/$package $VERSION_DIR + elif [ "$package" == "cython" ] + then + # SPECIFIC FOR CYTHON INTERFACE + cp -R $ROOT_DIR/src/$package $VERSION_DIR else # PACKAGE COPY if [ -d "$ROOT_DIR/src/$package$PACKAGE_INC_DIR" ] |