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 6f66a638..f999c6c4 100755 --- a/scripts/generate_version.sh +++ b/scripts/generate_version.sh @@ -74,6 +74,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" ] |