From 80d76c1ac00dc94c0f9c7450fabbfaa194987fe0 Mon Sep 17 00:00:00 2001 From: glisse Date: Sat, 7 Nov 2015 13:54:54 +0000 Subject: 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 --- scripts/generate_version.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts') 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 -- cgit v1.2.3