diff options
author | glisse <glisse@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2015-11-07 13:54:54 +0000 |
---|---|---|
committer | glisse <glisse@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2015-11-07 13:54:54 +0000 |
commit | 80d76c1ac00dc94c0f9c7450fabbfaa194987fe0 (patch) | |
tree | a88ed3ff103b0554f26a685c522a32cee79e350c /scripts/generate_version.sh | |
parent | a63698c9d153ef871e8e23bee49695e2a9d1eae3 (diff) |
Update script for the new debian directory.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/branches/debian@892 636b058d-ea47-450e-bf9e-a15bfbe3eedb
Former-commit-id: dd32502378e10bd03d4572ef040e817919081d69
Diffstat (limited to 'scripts/generate_version.sh')
-rwxr-xr-x | scripts/generate_version.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/generate_version.sh b/scripts/generate_version.sh index 323396dc..84232a00 100755 --- a/scripts/generate_version.sh +++ b/scripts/generate_version.sh @@ -68,7 +68,7 @@ do if [ -d "$ROOT_DIR/src/$package" ] && [ $package != "Bottleneck" ] then echo $package - if [ "$package" == "cmake" ] + if [ "$package" == "cmake" ] || [ "$package" == "debian" ] then # SPECIFIC FOR CMAKE MODULES cp -R $ROOT_DIR/src/$package $VERSION_DIR |